GitHub - Zhang-Liao/SKI_combinator: OCaml SKI combinator and unification

8000 GitHub - Zhang-Liao/SKI_combinator: OCaml SKI combinator and unification

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
bin		bin
lib		lib
test		test
.gitignore		.gitignore
dune-project		dune-project
test_OCaml.opam		test_OCaml.opam

About

OCaml SKI combinator and unification

No releases published

No packages published