Language Specification
Lexical | Syntactic | Types | IR Semantics | Output Semantics