projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c8ca325)
add coqdoc calls to Makefile
authoradam <adam@megacz.com>
Sun, 28 Oct 2007 22:42:57 +0000 (22:42 +0000)
committeradam <adam@megacz.com>
Sun, 28 Oct 2007 22:42:57 +0000 (22:42 +0000)
darcs-hash:20071028224257-5007d-cdad392e26476792a22948a42fd9082fac15c502.gz


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