projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: f32b158)
add Computation/Equivalence.v
authoradam <adam@megacz.com>
Tue, 2 Oct 2007 15:38:45 +0000 (15:38 +0000)
committeradam <adam@megacz.com>
Tue, 2 Oct 2007 15:38:45 +0000 (15:38 +0000)
darcs-hash:20071002153845-5007d-0ad5426ab748435060fa542572e06b2147b3d938.gz


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