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