projects / coinductive-monad.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coinductive-monad.git
16 years agorename Recursion
commit | commitdiff | tree
adam [Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000)]
rename Recursion

darcs-hash:20071002123310-5007d-2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4.gz

16 years agoadd missing Makefile
commit | commitdiff | tree
adam [Tue, 2 Oct 2007 21:28:10 +0000 (21:28 +0000)]
add missing Makefile

darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz

16 years agocheckpoint
commit | commitdiff | tree
adam [Mon, 25 Jun 2007 05:12:33 +0000 (05:12 +0000)]
checkpoint

darcs-hash:20070625051233-5007d-64b9240079af604f99477226dd95679707239b35.gz

Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__