@@ -11,6 +11,7 @@ New in 0.9.15:
11 solved automatically.
11 solved automatically.
12* More efficient representation of proof state, leading to faster elaboration
12* More efficient representation of proof state, leading to faster elaboration
13 of large expressions.
13 of large expressions.
14+* EXPERIMENTAL Implementation of uniqueness types
15New in 0.9.14:
16New in 0.9.14:
16--------------
17--------------