Code to accompany ESOP 2016 paper
Shell Clojure Makefile
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin draft commit Feb 28, 2015
src/demo travis Jan 27, 2016
test/demo esop Jan 14, 2016
.gitignore gitignore Jan 31, 2016
.travis.yml travis Jan 27, 2016
LICENSE draft commit Feb 28, 2015
Makefile draft commit Feb 28, 2015
README.md lein Jan 27, 2016
project.clj bump core.typed and update bootstrap Jan 31, 2016

README.md

Build Status

ESOP16 code

Code to accompany Typed Clojure paper.

Example 1 is in src/demo/example1.clj, and similarly for other examples.

Usage

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)
nil

License

Copyright © 2016 Ambrose Bonnaire-Sergeant

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.