Mention preorder reasoning in CHANGELOG
commit6749dd5c920ddc5d8cbf4093249d069eed5412d7
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 15 Dec 2013, 11:51 (13 years ago)
parente01605b
CHANGELOG+4
@@ -1,3 +1,7 @@
1+New in 0.9.11:
2+-------------
3+* Agda-style equational reasoning (in Syntax.PreorderReasoning)
4+
15New in 0.9.10:
26--------------
37