Update CHANGELOG for unbound implicits
commitf5c6883dd77c090617102c346834d18edc5aa359
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 9 Jul 2014, 17:57 (12 years ago)
parent32d47a5
CHANGELOG+1−1
@@ -18,7 +18,7 @@ New in 0.9.14:
1818 disambiguation. For instance, `(() : ()) quotes the unit constructor, while `(() : Type)
1919 quotes the unit type.
2020 Both goal types and quasiquote are typechecked in the global environment.
21−
21+* Better inference of unbound implicits
2222
2323New in 0.9.13:
2424--------------