/py-lambda

Primary LanguagePython

py-lambda

An implementation of the untyped lambda caluclus in python.

  • Lexer
  • Parser
    • Improve error reporting with source location indicator
  • Normalization
  • Cmd repl
    • Add history
    • Add small environment of lambda encoded functions
  • Add primitive data