Giters
wavelength-ide
Geek Repo
Github PK Tool:
Github PK Tool
wavelength-ide's repositories
wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
Language:
Java
License:
BSD-3-Clause
Stargazers:
6
Issues:
4
Issues:
59