diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:54:20 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:54:20 -0400 |
| commit | fb7b8555839b38a36ca877650b2198685f9ffa34 (patch) | |
| tree | 9acec02bed2c6367f848152f8ddf57fbeacab455 /folkwisdom.md | |
| parent | 37382028bef1b752482fb18c9550384e0e9bf0a9 (diff) | |
add closing parenthesis to "(and make"
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 92f15036e..687b09993 100644 --- a/folkwisdom.md +++ b/folkwisdom.md @@ -154,7 +154,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 an `Equivalence` instance for -the relation and `Proper` instances for constructors and projections. When +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 set the parameter to a type with a custom equivalence relation, define an equivalence relation for the new type, |