| Part | Status | Note |
|---|---|---|
| Lexer | Working | A horrible piece of code |
| Module parser | Working | With Happy, not extensible |
| AST | OK | Extensible, some wrinkels |
| Module system | Working | |
| Program parser | Working | including infix operators |
| Type checker | Working | Extensible, some details todo |
| Tool 0 properties | Working | ... |
| Translator to Alfa | Working | Except modules & some details, extended to properties |