Typos in the MiniKanren-2020 semantics paper

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