@@ -18,7 +18,7 @@ New in 0.9.14:
18 disambiguation. For instance, `(() : ()) quotes the unit constructor, while `(() : Type)
18 disambiguation. For instance, `(() : ()) quotes the unit constructor, while `(() : Type)
19 quotes the unit type.
19 quotes the unit type.
20 Both goal types and quasiquote are typechecked in the global environment.
20 Both goal types and quasiquote are typechecked in the global environment.
21−
21+* Better inference of unbound implicits
23New in 0.9.13:
23New in 0.9.13:
24--------------
24--------------