issues
search
evinism
/
lambda-explorer
Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
63
stars
9
forks
source link
allow backtracing to earlier definitions, or in-context definitions
#58
Open
evinism
opened
6 years ago