Skip to content

Files

Latest commit

318cb3f · Oct 7, 2013

History

History
6 lines (5 loc) · 471 Bytes

TODO.markdown

File metadata and controls

6 lines (5 loc) · 471 Bytes
  • maybe make some screencasts

  • you can now do something like Haskell's quickcheck. Every contract has a method 'test_data' or something. You can use that data to automatically check methods with contracts to make sure they are correct.