projects / coinductive-monad.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add TODO list
[coinductive-monad.git] / Computation /
2007-10-28 adamadd example showing why we cannot simply extract the... tree | commitdiff
2007-10-28 adamchange Terminates to (exists x, TerminatesWith x) and... tree | commitdiff
2007-10-02 adamadd Computation/Equivalence.v tree | commitdiff
2007-10-02 adamrename Recursion tree | commitdiff
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__