PLTools/OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

语言：OCaml · GitHub 星标：125 · Fork：18

话题：minikanren · ocaml · relational-programming

在 GitHub 上查看原仓库