Mercurial > hg > Members > atton > agda-proofs
graph
-
Trying Set with constraint...Sun, 01 Jan 2017 04:36:02 +0000, by atton
-
Prove associativity of code segment compositionFri, 30 Dec 2016 05:35:09 +0000, by atton
-
Update Agda to 2.5.2Fri, 30 Dec 2016 14:23:22 +0900, by atton
-
Trying define n-push...Fri, 23 Dec 2016 16:14:36 +0000, by atton
-
Rewrite cs composition styleFri, 23 Dec 2016 10:43:23 +0000, by atton
-
ReWrite stack.agda using product type definitionFri, 23 Dec 2016 10:20:05 +0000, by atton
-
Split cbc type definition using productFri, 23 Dec 2016 02:50:03 +0000, by atton