diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:52:56 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:52:56 -0400 |
commit | 3b535970442c9065a57bf4e23ad5c2c4c0b667b6 (patch) | |
tree | 5c4739dde2e7a7eb6c99583da8560aadfe18c5ce /folkwisdom.md | |
parent | b83a7384a3846a62bc2719567f1f0ce455787c36 (diff) |
s/be//
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 e8ac0faa1..de72c76f4 100644 --- a/folkwisdom.md +++ b/folkwisdom.md @@ -156,7 +156,7 @@ equivalence, it is probably a good idea to define the obvious custom equivalence 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 +use of the parametric type will set the parameter to a type with a custom equivalence relation, define an equivalence relation for the new type, parametrized over an equivalence relation for the parameter type. |