Clite-Interpreter

<> Program Flow

Lexre -> Parser -> Static Type Check -> Type Transformer -> Semantics

input : Source code
output : Execution results