Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 487 Bytes

TODO.md

File metadata and controls

20 lines (13 loc) · 487 Bytes
Raw

TO DO list for FitSpec

misc

  • parameterize number of tests in test programs and add slow-test target

  • add diff test for IO functions (diff w/ model output and exit status)

  • implement toplibs hack (from LeanCheck and Speculate);

documentation

  • add second simple/minimal example in eg (unbalanced binary search tree? stack?);

  • write detailed install instructions on INSTALL.md (cabal install, cabal from sandbox, source include)