Wed, 01 Feb 2017 05:28:30 +0000 |
atton |
Cleanup sample
|
Wed, 01 Feb 2017 05:05:27 +0000 |
atton |
Define goto
|
Sat, 14 Jan 2017 00:00:40 +0000 |
atton |
Trying define n-push/n-pop
|
Wed, 11 Jan 2017 13:37:23 +0000 |
atton |
Add push-sample
|
Wed, 11 Jan 2017 10:56:13 +0000 |
atton |
Define SingleLinkedStack using subtype
|
Tue, 10 Jan 2017 09:07:07 +0000 |
atton |
Prune level
|
Tue, 10 Jan 2017 09:04:55 +0000 |
atton |
Define push/pop using subtype
|
Tue, 10 Jan 2017 02:04:55 +0000 |
atton |
Split subtype definitions for reuse context
|
Tue, 10 Jan 2017 01:40:55 +0000 |
atton |
Rename named-product to subtype
base
cbc/named-product.agda@dd6c084c60ec
|
Mon, 02 Jan 2017 04:40:48 +0000 |
atton |
Trying define codesegment using subtype
|