Mercurial > hg > Members > atton > agda-proofs
log cbc/tuple.agda @ 25:da78bb99d654
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 |