@@ -31,8 +31,10 @@ New in 0.9.18:
31* The return types of `Vect.findIndex`, `Vect.elemIndex` and
31* The return types of `Vect.findIndex`, `Vect.elemIndex` and
32 `Vect.elemIndexBy` were changed from `Maybe Nat` to `Maybe (Fin n)`
32 `Vect.elemIndexBy` were changed from `Maybe Nat` to `Maybe (Fin n)`
33* A new :browse command shows the contents of a namespace
33* A new :browse command shows the contents of a namespace
34−* `{n} is syntax for a quotation of the reflected representation of the global
34+* `{n} is syntax for a quotation of the reflected representation of the name
35− name n, if it is uniquely determined
35+ "n". If "n" is lexically bound, then the resulting quotation will be for it,
36+ whereas if it is not, then it will succeed with a quotation of the unique
37+ global name that matches.
37New in 0.9.17:
39New in 0.9.17:
38--------------
40--------------