Mercurial > hg > Members > atton > agda-proofs
log cbc/product.agda @ 26:d503a73186ce
age | author | description |
---|---|---|
Fri, 23 Dec 2016 02:50:03 +0000 | atton | Split cbc type definition using product |
age | author | description |
---|---|---|
Fri, 23 Dec 2016 02:50:03 +0000 | atton | Split cbc type definition using product |