2 search results for "author:"Dmitrii Kosarev https://github.com/Kakadu""
OCanren-ppx
Implementation of miniKanren relational (logic) EDSL: PPX extensions
0.3.0
LGPL-2.1
Used by 2 other packages