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!