todo.txt

Interface

Interface
- Improve contracts
  - add non-empty-{set,bag,table}/c
  - use non-empty contracts where appropriate
  - consider storing content-type contracts for polymorphism checking
- New operations
  - Check Haskell, OCaml, SML, previous Galore, Edison for other operations
  - insert*, remove* operations
  - insert with "combine" operation
  - table/set crossover functions
    - domain and range of tables (as sets)
    - table difference/intersection with a set
  - reverse-ordered "loop" functions
  - table "subset" and equality
Testing
- Double-check code coverage
- Look into automatic tests from previous Galore implementation
Documentation
- Propagate explanations from doc.txt to comments in implementation files