Complexity paper: related works and discussion

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

Closed rozplokhas closed 2 years ago