-
Notifications
You must be signed in to change notification settings - Fork 11
/
project.clj
38 lines (37 loc) · 1.77 KB
/
project.clj
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
(defproject narjure "0.1.0-SNAPSHOT"
:description "A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang."
:url "https://github.com/jarradh/narjure"
:license {:name "GNU General Public License 2.0"
:url "http://www.gnu.org/licenses/old-licenses/gpl-2.0.html"}
:dependencies [[org.clojure/clojure "1.8.0"]
[org.clojure/core.logic "0.8.10"]
[instaparse "1.4.1"]
[com.rpl/specter "0.9.1"]
[org.clojure/tools.nrepl "0.2.12"]
[org.clojure/data.priority-map "0.0.7"]
[org.clojure/core.match "0.3.0-alpha4"]
[org.clojure/core.unify "0.5.5"]
[co.paralleluniverse/pulsar "0.7.5"]
[org.immutant/immutant "2.1.2"]
[clj-time "0.11.0"]
[com.taoensso/timbre "4.3.1"]
[avl.clj "0.0.9"]
[org.clojure/math.numeric-tower "0.0.4"]
[quil "2.4.0"]
[seesaw "1.4.5"]
[irclj "0.5.0-alpha4"]]
:java-agents [[co.paralleluniverse/quasar-core "0.7.5"]]
:main gui.lense
:plugins [[lein-cloverage "1.0.6"]
[jonase/eastwood "0.2.3"]
[lein-kibit "0.1.2"]
[cider/cider-nrepl "0.11.0-SNAPSHOT"]
[lein-marginalia "0.9.0"]
[lein-gorilla "0.3.6"]]
:eastwood {:exclude-namespaces [nal.rules]}
:repl-options {:init-ns narjure.repl
:nrepl-middleware [narjure.repl/narsese-handler]
:timeout 10000000}
:profiles {:uberjar {:aot :all}}
:marginalia { :javascript ["http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"]}
:jvm-opts ["-Dco.paralleluniverse.fibers.detectRunawayFibers=false"])