Order

Rust is hard so go check out https://github.com/MarcusDunn/depends where I don't get abused by the borrow checker

a parser, a type checker, and an interpreter for a language implementing Martin-Löf type theory (hopefully)

Goals (WIP)

• Parser
• Type Checker
• Interpreter
• Sound
• Well Tested

Non-Goals (we're nailing these)

• being at at all useful
• good error messages
• smart language design
• running speed
• IO