projects / coinductive-monad.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
change Terminates to (exists x, TerminatesWith x) and improve notation
2007-10-28 adamchange Terminates to (exists x, TerminatesWith x) and...
commit | commitdiff | tree
2007-10-02 adamadd Computation/Equivalence.v
 commit | commitdiff | tree
2007-10-02 adamrename Recursion
 commit | commitdiff | tree
2007-10-02 adamadd missing Makefile
 commit | commitdiff | tree
2007-06-25 adamcheckpoint
 commit | commitdiff | tree
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__