An implementation of miniKanren in ocaml
Primary LanguageOCaml
an implementation of miniKanren in OCaml