@@ -22,6 +22,9 @@
22 with a (strictly) smaller `size`.
22 with a (strictly) smaller `size`.
24 A good example of this idiom at work is `Data.List.Views.splitRec` from `base`.
24 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`.
26## Tool Updates
29## Tool Updates