Mercurial > hg > Members > atton > agda-proofs
graph
-
Trying define type composition using list of subtype...Tue, 03 Jan 2017 09:04:11 +0000, by atton
-
Trying define type composition using list of subtypeTue, 03 Jan 2017 08:21:25 +0000, by atton
-
Trying define type composition using subtype through DSTue, 03 Jan 2017 07:52:43 +0000, by atton
-
Call subtype using user-defined cast operator with subtype listTue, 03 Jan 2017 06:41:46 +0000, by atton
-
Call subtype using user-defined cast operatorTue, 03 Jan 2017 05:19:04 +0000, by atton
-
Trying define codesegment using named-product with subtypeMon, 02 Jan 2017 07:00:55 +0000, by atton
-
Trying define codesegment using subtypeMon, 02 Jan 2017 04:40:48 +0000, by atton