projects / coinductive-monad.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
checkpoint
authoradam <adam@megacz.com>
Mon, 25 Jun 2007 05:12:33 +0000 (05:12 +0000)
committeradam <adam@megacz.com>
Mon, 25 Jun 2007 05:12:33 +0000 (05:12 +0000)
commit77cbfc0e93ec5db4f7dc39c01b8327fec7dd53c4
treeb56ed5fe61489f3d8ee74394ab714911c21df9d1tree | snapshot
checkpoint

darcs-hash:20070625051233-5007d-64b9240079af604f99477226dd95679707239b35.gz
Recursion/Eval.v [new file with mode: 0644] blob
Recursion/Monad.v [new file with mode: 0644] blob
Recursion/Tactics.v [new file with mode: 0644] blob
Recursion/Termination.v [new file with mode: 0644] blob
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__