projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ad8905d)
rename Recursion
authoradam <adam@megacz.com>
Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000)
committeradam <adam@megacz.com>
Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000)
darcs-hash:20071002123310-5007d-2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4.gz


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