projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 7439e43)
add missing Makefile
authoradam <adam@megacz.com>
Tue, 2 Oct 2007 21:28:10 +0000 (21:28 +0000)
committeradam <adam@megacz.com>
Tue, 2 Oct 2007 21:28:10 +0000 (21:28 +0000)
darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz


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