projects / coinductive-monad.git / summary
| description | Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__ |
| owner | |
| last change | Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000) |
| URL | http://git.megacz.com/coinductive-monad.git |
| 2007-10-28 | adam | better comments/documentation master | commit | commitdiff | tree | snapshot |
| 2007-10-28 | adam | add TODO list | commit | commitdiff | tree | snapshot |
| 2007-10-28 | adam | add coqdoc calls to Makefile | commit | commitdiff | tree | snapshot |
| 2007-10-28 | adam | add example showing why we cannot simply extract the... | commit | commitdiff | tree | snapshot |
| 2007-10-28 | adam | change Terminates to (exists x, TerminatesWith x) and... | commit | commitdiff | tree | snapshot |
| 2007-10-02 | adam | add Computation/Equivalence.v | commit | commitdiff | tree | snapshot |
| 2007-10-02 | adam | rename Recursion | commit | commitdiff | tree | snapshot |
| 2007-10-02 | adam | add missing Makefile | commit | commitdiff | tree | snapshot |
| 2007-06-25 | adam | checkpoint | commit | commitdiff | tree | snapshot |
| 15 years ago | master | shortlog | log | tree |