Geeks
zazedd
/
lispy_lambda
Simply typed lambda calculus, but lispy
Primary Language
OCaml
GNU General Public License v3.0
GPL-3.0
lispy_lambda GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
lispy_lambda
Simply typed lambda calculus, but lispy