log cbc/subtype.agda @ 77:a2e6f61d5f2b default tip

age author description
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