miniKanren关系编程语言的静态类型嵌入到OCaml中，Statically typed embedding of miniKanren relational programming language into OCaml, (2023-08-20, OCaml, 0KB, 下载0次)