#
paper-implementations
Here are 3 public repositories matching this topic...
core.logic.nominal at the minikanren confo 2013
-
Updated
Feb 9, 2023 - Clojure
explorations in core.logic
clojure metaprogramming prolog logic-programming abstract-interpretation paper-implementations binders
-
Updated
Jun 14, 2024 - Clojure
Improve this page
Add a description, image, and links to the paper-implementations topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the paper-implementations topic, visit your repo's landing page and select "manage topics."