@@ -31,8 +31,10 @@ New in 0.9.18:
3131* The return types of `Vect.findIndex`, `Vect.elemIndex` and
3232 `Vect.elemIndexBy` were changed from `Maybe Nat` to `Maybe (Fin n)`
3333* A new :browse command shows the contents of a namespace
34−* `{n} is syntax for a quotation of the reflected representation of the global
35− name n, if it is uniquely determined
34+* `{n} is syntax for a quotation of the reflected representation of the name
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.
3638
3739New in 0.9.17:
3840--------------