2 search results for "author:"https://github.com/Lozov-Petr""
Showing 1 - 2
-
Translator from subset of OCaml to OCanren0.3.0LGPL-2.1Used by 0 other packages03 May 2022
-
Implementation of miniKanren relational (logic) EDSL0.3.0LGPL-2.1Used by 2 other packages03 May 2022