git.megacz.com Git - coinductive-monad.git/search

projects / coinductive-monad.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2007-10-02	adam	rename Recursion	commit \| commitdiff \| tree
2007-10-02	adam	add missing Makefile	commit \| commitdiff \| tree
2007-06-25	adam	checkpoint	commit \| commitdiff \| tree

Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__