LambdaBox

Project information

Pure lazy untyped lambda calculus by drawing image of boxes and wires

124 Commits
3 Branches
0 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

October 08, 2017

Loading