From 37382028bef1b752482fb18c9550384e0e9bf0a9 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Sat, 25 Jun 2016 18:53:38 -0400 Subject: s/quality/equality/ --- folkwisdom.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'folkwisdom.md') diff --git a/folkwisdom.md b/folkwisdom.md index de72c76f4..92f15036e 100644 --- a/folkwisdom.md +++ b/folkwisdom.md @@ -184,7 +184,7 @@ worse. Here are some suggestions. 1. The number one reason for hitting issues with custom equivalence relations is that either the goal or the givens contain a typo that switched one equivalence relation with another. In particular, `<>` refers to negation of propositional -quality by default. This can be avoided with good conventions: when introducing +equality by default. This can be avoided with good conventions: when introducing a type that will be used with a custom equivalence relation, introduce the equivalence relation (and its `Equivalence` instance) right away. When introducing a function involving a such type, introduce a `Proper` instance -- cgit v1.2.3