L1IR

Intermediate Representation of LSTS L1 Language

Types * Literal Strings * Tuples * Functions

Global AST Nodes * Function Definitions * Program Expressions

Expression AST Nodes * Literal Introduction * Tuple Introduction * Variable Reference * Function Application * Pattern Match