projects / coinductive-monad.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8ca325) | patch
add TODO list
authoradam <adam@megacz.com>
Sun, 28 Oct 2007 22:43:02 +0000 (22:43 +0000)
committeradam <adam@megacz.com>
Sun, 28 Oct 2007 22:43:02 +0000 (22:43 +0000)
commitbb471fbb694313a6aa61816752bd179b3af6711d
tree0bdbd56c5e9cee16bf53f35f83e7034053399b45tree | snapshot
parentc8ca325619c326ce74ed4d4515ae38c6e92d1579commit | diff
add TODO list

darcs-hash:20071028224302-5007d-5288f7578dea8be77bd965aa587383de8d1973c7.gz
TODO [new file with mode: 0644] blob
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__