Giters

zazedd / lispy_lambda

Simply typed lambda calculus, but lispy

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lispy_lambda

Simply typed lambda calculus, but lispy

About

Simply typed lambda calculus, but lispy

License:GNU General Public License v3.0

Languages

Language:OCaml 100.0%