projects / coinductive-monad.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add missing Makefile
[coinductive-monad.git] / Makefile
2007-10-02 adamadd missing Makefile blob | commitdiff
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__