git.iko.soy/Idris-dev
on master help sign in
Update CHANGELOG
commit96d5cb0477bdda837956103479e165a02434c300 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 14 Feb 2014, 10:44 (13 years ago) parent433ddf3
1 file changed+1
compare with master
unifiedsplit
CHANGELOG+1
CHANGELOG+1
@@ -3,6 +3,7 @@ New in 0.9.12:
33
44* Proof search now works for metavariables in types, giving some interactive
55 type inference.
6+* New 'Lazy' type, replacing laziness annotations.
67
78New in 0.9.11:
89--------------