This is an implementation of Simon Peyton-Jones's Composing contracts: an adventure in financial engineering based on a Haskell implemention by Anton van Straaten.
At present, the code is a brutal transformation of Anton's work into Scala and in need of much refinement.
All thoughts, suggestions and contributions are most gratefully accepted. Particularly new models, and tests!
For additional information see Scala Contracts wiki