Initial commit
Added arguments for requirements
Added guarantees (post-conditions)
Performance improvements
Added positional arguments
Added readme
Merge branch 'master' of github.com:arne-schroppe/contracts.coffee
Remote merge stuff
Recreated previous readme