Mercurial > hg > Members > atton > agda-proofs
log
age | author | description |
---|---|---|
Fri, 06 Jan 2017 06:29:51 +0000 | atton | Define composition of codesegment using subtype without constraint list |
Thu, 05 Jan 2017 07:01:32 +0000 | atton | Trying prove associativity of composition of code segments |
Thu, 05 Jan 2017 03:07:32 +0000 | atton | Define code segment compose operator using type -> ds cast! |
Thu, 05 Jan 2017 03:02:23 +0000 | atton | Define code segment compose operator using type -> ds cast |
Wed, 04 Jan 2017 08:16:02 +0000 | atton | Cannot compose code segments has another type signature ... |
Wed, 04 Jan 2017 02:26:58 +0000 | atton | Add composition sample |
Wed, 04 Jan 2017 02:21:11 +0000 | atton | Define compose operator using list of subtype |