TODO.md

TODO for leancheck.py

• make the intro inline documentation match the README.md

• package all files like in Haskell's leancheck

• in the person.py example, avoid calling Enumerator.choices?

• fix infinite loop in print(Enumerator(set[bool]))

• simplify code

• Add some built-in benchmarks. Performance is not so good currently.

• add carry-on flag