coinductive-monad.git
11 years agobetter comments/documentation master
adam [Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000)]
better comments/documentation

darcs-hash:20071028224311-5007d-c6cdcdb8a2938b6874581fabb8b6471f086859ed.gz

11 years agoadd TODO list
adam [Sun, 28 Oct 2007 22:43:02 +0000 (22:43 +0000)]
add TODO list

darcs-hash:20071028224302-5007d-5288f7578dea8be77bd965aa587383de8d1973c7.gz

11 years agoadd coqdoc calls to Makefile
adam [Sun, 28 Oct 2007 22:42:57 +0000 (22:42 +0000)]
add coqdoc calls to Makefile

darcs-hash:20071028224257-5007d-cdad392e26476792a22948a42fd9082fac15c502.gz

11 years agoadd example showing why we cannot simply extract the witness from TerminatesWith...
adam [Sun, 28 Oct 2007 22:24:07 +0000 (22:24 +0000)]
add example showing why we cannot simply extract the witness from TerminatesWith to get a trivial eval

darcs-hash:20071028222407-5007d-35f02a37ae798d87d4dc41385d07f6a687c1b2d3.gz

11 years agochange Terminates to (exists x, TerminatesWith x) and improve notation
adam [Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000)]
change Terminates to (exists x, TerminatesWith x) and improve notation

darcs-hash:20071028221603-5007d-09c59f3bc826b721b3708b92c9291b498b6306de.gz

11 years agoadd Computation/Equivalence.v
adam [Tue, 2 Oct 2007 15:38:45 +0000 (15:38 +0000)]
add Computation/Equivalence.v

darcs-hash:20071002153845-5007d-0ad5426ab748435060fa542572e06b2147b3d938.gz

11 years agorename Recursion
adam [Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000)]
rename Recursion

darcs-hash:20071002123310-5007d-2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4.gz

11 years agoadd missing Makefile
adam [Tue, 2 Oct 2007 21:28:10 +0000 (21:28 +0000)]
add missing Makefile

darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz

12 years agocheckpoint
adam [Mon, 25 Jun 2007 05:12:33 +0000 (05:12 +0000)]
checkpoint

darcs-hash:20070625051233-5007d-64b9240079af604f99477226dd95679707239b35.gz