$$ y^2 = x^3 + ax + b $$
- ✓ 1.0.0 Bootstrap Compiler 🥳🎉🎁
- ✓ 1.20.0 Phi Types
- ✓ 1.21.0 Core Type System Revamp
- linear time unification
- numerical pyramid through implication hierarchy
- interface types
- C Frontend to be mostly standards compliant + some common C extensions
- LSTS frontend to feel like a fully formed language
- remove remaining LM code from compiler and libraries
- this completes the second pass of development, meaning everything has been looked at at least twice
- Language Standard v1.0
- Linear Garbage Collection
- this is a library, not a core feature (it just depends on linear/phi-types with del hooks)
- Representation Selection for Closures with auto GC