extra credit Search 85,062 technologies ⌘K Download for Mac

OCanren-ppx

Implementation of miniKanren relational (logic) EDSL: PPX extensions

opam install OCanren-ppx
↑↓ move ↵ open