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