@@ -22,6 +22,9 @@
2222 with a (strictly) smaller `size`.
2323
2424 A good example of this idiom at work is `Data.List.Views.splitRec` from `base`.
25++ Added utility lemma `decEqSelfIsYes : decEq x x = Yes Refl` to
26+ `Decidable.Equality`. This is primarily useful for proving properties of
27+ functions defined with the help of `decEq`.
2528
2629## Tool Updates
2730