projects / coinductive-monad.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb471fb) | patch
better comments/documentation master
authoradam <adam@megacz.com>
Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000)
committeradam <adam@megacz.com>
Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000)
commit1ff31872c2b89ffb4c6c6250b1d51436b6b1400f
treea431e05889c8e6e2d78bd006d8ce5e58cc761797tree | snapshot
parentbb471fbb694313a6aa61816752bd179b3af6711dcommit | diff
better comments/documentation

darcs-hash:20071028224311-5007d-c6cdcdb8a2938b6874581fabb8b6471f086859ed.gz
src/Computation/Equivalence.v [moved from Computation/Equivalence.v with 86% similarity] diff | blob | history
src/Computation/Eval.v [moved from Computation/Eval.v with 73% similarity] diff | blob | history
src/Computation/Monad.v [moved from Computation/Monad.v with 79% similarity] diff | blob | history
src/Computation/Tactics.v [moved from Computation/Tactics.v with 85% similarity] diff | blob | history
src/Computation/Termination.v [moved from Computation/Termination.v with 86% similarity] diff | blob | history
Code accompanying the paper __A Coinductive Monad for Prop-Bounded Recursion__