diff options
| author | Richard Eisenberg <eir@seas.upenn.edu> | 2013-08-28 12:09:33 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-28 13:13:25 -0400 |
| commit | 4652a5d2be0d6c49ab2bc311ccec766d08887122 (patch) | |
| tree | 383b2afa035eaa493c31ccfdd43ae3265fcbd4e2 /settings.in | |
| parent | 1effad835bc58e2e87b83e74cf87636ee3220d15 (diff) | |
| download | haskell-4652a5d2be0d6c49ab2bc311ccec766d08887122.tar.gz | |
Clarify comments about apartness
Diffstat (limited to 'settings.in')
0 files changed, 0 insertions, 0 deletions