git.iko.soy/Idris-dev
on master help sign in
Mention preorder reasoning in CHANGELOG
6749dd5David Christiansen
CHANGELOG+4
compare with master
unifiedsplit
@@ -1,3 +1,7 @@
1+New in 0.9.11:
2+-------------
3+* Agda-style equational reasoning (in Syntax.PreorderReasoning)
4+
1New in 0.9.10:
5New in 0.9.10:
2--------------
6--------------
3
7