0.1.0
No due date
0% complete
Cover Simon Peyton Jones' paper.
Basically migrate code from Haskell to Scala in http://contracts.scheming.org/