/untyped_lambda

A small compiler (lexer, parser, interpreter, SK-backend) for the untyped lambda calculus

Primary LanguageOCaml

Parts:

  • Lexer
  • Parser
  • Interpreter
  • Compilation
    • OCaml
    • Mini-Ocaml
    • Extended Lambda Calculus
    • Lambda Calculus
    • SK
    • ι