Code to accompany Typed Clojure paper.
Example 1 is in src/demo/eg1.clj, and similarly for other examples.
To check all examples, run make test.
For a Clojure REPL, run make repl. This will take you to the
clojure.core.typed namespace, where you can run specific
tests like.
clojure.core.typed=> (check-ns 'demo.eg1)Copyright © 2015 Ambrose Bonnaire-Sergeant
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.