/SKI_combinator

OCaml SKI combinator and unification

Primary LanguageOCaml

No issues in this repository yet.