Skip to content
Commits on Sep 14, 2014
  1. Upgrade Proof to 0.0.47.

    Closes #6.
    committed Sep 14, 2014
Commits on Mar 5, 2014
  1. Release 0.0.0.

    Closes #5.
    committed Mar 4, 2014
  2. Build on Travis CI, ship coverage to web server.

    Closes #4.
    Closes #3.
    committed Mar 4, 2014
Commits on Mar 4, 2014
  1. Initial commit.

    Closes #2.
    committed Mar 4, 2014
Something went wrong with that request. Please try again.