projects / coinductive-monad.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
better comments/documentation
[coinductive-monad.git] / TODO
1 - Move from JMeq to Eqdep
2 - Try to get rid of JMeq/Eqdep with a manually-written inversion principle?
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__