Semantics paper: cosmetics + removing appendices

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 4 years ago