search

PLTools / OCanren

Statically typed embedding of miniKanren relational programming language into OCaml
GNU Lesser General Public License v2.1
117 stars 19 forks source link

Complexity paper: final #138

Closed rozplokhas closed 3 years ago