This version makes a number of small updates to libraries and tools:
openFileopens the file in binary mode on Windows.
- Added library functions
- Modules no longer require building if imports have changed but all interfaces (i.e. types for names declared
exportand definitions of names declared
public export) are unchanged.
- The result of calling
:docnow details the accessbility of items as well as their totality.
- Compiler flag
--optimise-nat-like-typesenables compilation of
Nat-like type families to big integers. A type family is
Nat-like if, after erasure, it has two constructors, one nullary, the other one with exactly one recursive field.
Thanks to everyone who has contributed!