欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Incanter 是一个基于 Clojure 类似 R 语言的统计计算和图形处理平台。
在 project.clj 加入
:dependencies [[org.clojure/clojure "1.6.0"] [incanter "1.5.7"]]
然后运行
lein repl user=> (use '(incanter core stats charts io)) user=> (view (histogram (sample-normal 1000)))
sample