You can clone with
Add dependency, bump version.
Updated examples to use 'arg' rather than 'funArg'.
Check for the existence of dirs/files before running tests!
move unused function to comments to prevent warnings.
Modified languages example.
Updates to Languages example.
Clean up imports.
Add examples as other modules.
Update tests to delete CBMC stuff.
Updated README and syntax tweak in Examples.hs.
More fixing up tests...
Updated examples --- seem to work.
Major update of examples, fixing them up. Not done!
Fix README bug.
Update external functions example to work with latest release.
Testing external functions.
Tweaks to examples.
Testing for casting, external functions.
Testing sampling functions...
Arrays seem to work.
Very small regression test.
Make an executable and give a notice after compiling.