projects / coinductive-monad.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 68eb561)
change Terminates to (exists x, TerminatesWith x) and improve notation
authoradam <adam@megacz.com>
Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000)
committeradam <adam@megacz.com>
Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000)
darcs-hash:20071028221603-5007d-09c59f3bc826b721b3708b92c9291b498b6306de.gz


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