projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 77cbfc0)
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)
darcs-hash:20070625051233-5007d-64b9240079af604f99477226dd95679707239b35.gz


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