?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
init
[stlc.git] / project.clj
blobffb08520732079549ff4a39697e4dc67eeffbc9d
1 (defproject tapl "1.0.0-SNAPSHOT"
2   :description "TAPL in core.logic"
3   :url "https://github.com/namin/TAPL-in-miniKanren-cKanren-core.logic"
4   :dependencies [[org.clojure/clojure "1.5.1"]
5                  [org.clojure/core.logic "0.8.3"]]
6 )