- Informal description of the language
- Grammar specification
- Informal Core language specification
- Prototype compiler
- Informal runtime description
- Prototype runtime implementation
- Formal language specification (operational semantics)
- Verified interpreter implementation
- Optimising compiler
- IPython-like REPL
- Basic editor support (syntax highlighting)
- Atom (tree-sitter)
- VS Code / Sublime / TextMate
- Emacs
- Vim
- IDE-like language server (Atom)
- Package manager (on top of NPM)
- GUI configuration tool