Mercurial > hg > Members > atton > agda-proofs
log cbc/subtype.agda @ 36:f0759cb39d37
age | author | description |
---|---|---|
Mon, 02 Jan 2017 04:40:48 +0000 | atton | Trying define codesegment using subtype |
age | author | description |
---|---|---|
Mon, 02 Jan 2017 04:40:48 +0000 | atton | Trying define codesegment using subtype |