descriptionCode accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__
owner
last changeSun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000)
shortlog
2007-10-28 adambetter comments/documentation master
2007-10-28 adamadd TODO list
2007-10-28 adamadd coqdoc calls to Makefile
2007-10-28 adamadd example showing why we cannot simply extract the...
2007-10-28 adamchange Terminates to (exists x, TerminatesWith x) and...
2007-10-02 adamadd Computation/Equivalence.v
2007-10-02 adamrename Recursion
2007-10-02 adamadd missing Makefile
2007-06-25 adamcheckpoint
heads
7 years ago master