projects / coinductive-monad.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
coinductive-monad.git
2007-06-25 adamcheckpoint commit | commitdiff | tree | snapshot
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__