Modules

• Environment Internal state and environment of the interpreter
• Format Formatting the output of the interpreter
• Interpreter Internal logic of the interpreter
• Lambda DeBruijn lambda expressions.
• Libraries
• Main
• MultiBimap A multibimap implementation
• NamedLambda Lambda expressions with named variables
• Ski Ski expressions and bracket abstraction.
• Stlc
  • Stlc.Block
  • Stlc.Gentzen
  • Stlc.Types