namin/logically

explorations in core.logic

语言：Clojure · GitHub 星标：118 · Fork：8

话题：abstract-interpretation · binders · clojure · logic-programming · metaprogramming · paper-implementations · prolog

在 GitHub 上查看原仓库