projects
/
coinductive-monad.git
/ log
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
| log |
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
coinductive-monad.git
16 years ago
change Terminates to (exists x, TerminatesWith x) and improve notation
commit
|
commitdiff
|
tree
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
16 years ago
add Computation/Equivalence.v
commit
|
commitdiff
|
tree
adam
[
Tue, 2 Oct 2007 15:38:45 +0000
(15:38 +0000)]
add Computation/Equivalence.v
darcs-hash:
20071002153845
-5007d-
0ad5426ab748435060fa542572e06b2147b3d938
.gz
16 years ago
rename Recursion
commit
|
commitdiff
|
tree
adam
[
Tue, 2 Oct 2007 12:33:10 +0000
(12:33 +0000)]
rename Recursion
darcs-hash:
20071002123310
-5007d-
2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4
.gz
16 years ago
add missing Makefile
commit
|
commitdiff
|
tree
adam
[
Tue, 2 Oct 2007 21:28:10 +0000
(21:28 +0000)]
add missing Makefile
darcs-hash:
20071002212810
-5007d-
58e9514de95ecf90e0fbd05fa041d8bb06fc19a2
.gz
16 years ago
checkpoint
commit
|
commitdiff
|
tree
adam
[
Mon, 25 Jun 2007 05:12:33 +0000
(
05:12
+0000)]
checkpoint
darcs-hash:
20070625051233
-5007d-
64b9240079af604f99477226dd95679707239b35
.gz