Mercurial > hg > Members > atton > agda-proofs
log cbc/tuple.agda @ 21:afb2304be45b
age | author | description |
---|---|---|
Sat, 17 Dec 2016 07:07:01 +0000 | atton | Define tuple compose |
age | author | description |
---|---|---|
Sat, 17 Dec 2016 07:07:01 +0000 | atton | Define tuple compose |