Even if full verification takes 100GB memory and 3 hours to run, it still might be worthwhile to do before a release.
- β 1.0.0 Bootstrap Compiler π₯³ππ
- β 1.16.0 HTML CSS WASM support
- β 1.17.0 Typed Fragments (about 2/3 way to fully verifiable semantics)
- Language Standard v1.0 (finally some stable interfaces like libc compatible malloc etc.)
- Linear Garbage Collection
- Closures with auto GC
- Correctness Proofs with Coq (100% verifiable semantics)
- add support for something other than x86-64 Linux
- LSTS Frontend