dev-gm / lambda-calculus

A command-line REPL for lambda calculus, with support for function aliases and saving/loading them to/from files. Written in Zig.

lambda-calculus

A lambda calculus REPL, written in Zig.

TODO:

• Parse
  • Expressions
    • Variables
    • Abstractions
    • Applications
  • Assignments
  • Commands
    • Quit
    • Help
    • Read
    • Write
• De Brujin indexing
• Beta-reduction
• Write state to files
• Read state from files
• Help script
• Custom print function