Changelog: 0.x

Every release of this major version, newest first, as CHANGELOG.md records it.

0.x - The climb #

0.1 effects (io) - 0.2 effect split (io/net/fs/clock/rand) - 0.3 type checking - 0.4 loops - 0.5 contracts (requires/ensures) - 0.6 lists, and/or/not, negatives - 0.7 Z3 compile-time proofs - 0.8 modular verification with sound false-alarm discipline - 0.9 LLVM native compilation (~10,000x on hot loops) - 0.10 loop invariants - 0.11 real HTTP fetch - 0.12 interactive input - 0.13 list proofs via array theory with bounds obligations - 0.14 else-if, %, text tools - 0.15 records - 0.16 imports with per-file error blame.