Mercurial > hg > Members > atton > agda-proofs
log cbc/tuple.agda @ 77:a2e6f61d5f2b default tip
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 |