@@ -9,6 +9,7 @@
9+ Modules no longer require building if imports have changed but all
9+ Modules no longer require building if imports have changed but all
10 interfaces (i.e. types for names declared `export` and definitions of names
10 interfaces (i.e. types for names declared `export` and definitions of names
11 declared `public export`) are unchanged.
11 declared `public export`) are unchanged.
12++ The result of calling `:doc` now details the accessbility of items as well as their totality.
13## Miscellaneous updates
14## Miscellaneous updates
14+ Compiler flag `--optimise-nat-like-types` enables compilation
15+ Compiler flag `--optimise-nat-like-types` enables compilation