Scala Contracts
===============

[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/channingwalton/scala-contracts?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)

This is an implementation of Simon Peyton-Jones's [Composing contracts: an adventure in financial engineering](http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-icfp.htm) based on a [Haskell implemention](http://contracts.scheming.org/) 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!
Scala Contracts
===============

[![Gitter](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/channingwalton/scala-contracts?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)

This is an implementation of Simon Peyton-Jones's [Composing contracts: an adventure in financial engineering](http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-icfp.htm) based on a [Haskell implemention](http://web.archive.org/web/20130326233424/http://contracts.scheming.org/) 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!

Update the link to contracts.scheming.org to the wayback machine's copy
Update the link to contracts.scheming.org to the wayback machine's copy