projects / coinductive-monad.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
checkpoint
drwxr-xr-x - Recursion tree | history
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__