A browser-based IDE for the untyped lambda calculus. Try it:
Home Page:https://pp.ipd.kit.edu/lehre/misc/lambda-ide/Wavelength.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool