There’s just a small number of changes since version 0.99.1, mostly bug fixes and small improvements in a final push towards version 1.0 (Real Soon Now :)). Changes since version 0.99.1 are detailed below.
Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository.
base. This allows basic manipulation of mutable buffers of
Bits8, including reading from and writing to files.
- Idris now checks the list of packages specified at the command line against those installed. If there is a mismatch Idris will complain.
- Documentation updates for the new
- Various stability/efficiency fixes