diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-03-14 13:29:17 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-05-28 00:24:50 -0400 |
| commit | 9334467f5dd59f9ea7c231c5ff0b1987df4d1570 (patch) | |
| tree | e92553d0c65c1abecca0ac532b1947342282e5d6 /docs/users_guide/conf.py | |
| parent | db8e3275080173cc36af9f8e51636ee506e7c872 (diff) | |
| download | haskell-9334467f5dd59f9ea7c231c5ff0b1987df4d1570.tar.gz | |
Improve comments around injectivity checks
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions
