diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:50:55 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:50:55 -0400 |
| commit | b83a7384a3846a62bc2719567f1f0ce455787c36 (patch) | |
| tree | e47e93dfbd32f0414dc25e6157f29c3ef70593fc /folkwisdom.md | |
| parent | dddfd5a61ad8d399032f67898424f16e5d7a8790 (diff) | |
typo near "and make and"
Diffstat (limited to 'folkwisdom.md')
| -rw-r--r-- | folkwisdom.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/folkwisdom.md b/folkwisdom.md index 47c5c036d..e8ac0faa1 100644 --- a/folkwisdom.md +++ b/folkwisdom.md @@ -153,7 +153,7 @@ propositional equality When defining a datatype that has a field of a type that is used with a custom equivalence, it is probably a good idea to define the obvious custom equivalence -relation for the new type right away (and make and `Equivalence` instance for +relation for the new type right away (and make an `Equivalence` instance for the relation and `Proper` instances for constructors and projections. When defining a type parametrized over some other type, and it is likely that some use of the parametric type will be set the parameter to a type with a custom |