Code to accompany Typed Clojure paper.
Example 1 is in src/demo/example1.clj, and similarly for other examples.
To check all examples, run make test, or lein test if you have Leiningen installed.
For a Clojure REPL, run make repl. The require function loads and type checks namespaces.
clojure.core.typed=> (require 'demo.example1)
nilCopyright © 2016 Ambrose Bonnaire-Sergeant
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.