better comments/documentation
[coinductive-monad.git] / TODO
2007-10-28 adamadd TODO list