Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Apr 16, 2012
  1. Fixed printout

    authored
  2. Merge pull request #1 from harrah/class-add-lazy-val

    authored
    new lazy val in parent class
  3. @harrah

    add lazy val in parent class

    harrah authored
  4. @harrah

    ignore target/

    harrah authored
  5. Destroyed my own example

    authored
Commits on Apr 15, 2012
Commits on Apr 8, 2012
Commits on Apr 5, 2012
  1. Initial trait BC proofs.

    authored
Commits on Apr 3, 2012
Commits on Apr 2, 2012
Something went wrong with that request. Please try again.