2 search results for "author:"Dmitrii Kosarev https://github.com/Kakadu""

OCanren-ppx
Implementation of miniKanren relational (logic) EDSL: PPX extensions