Mercurial > hg > Papers > 2017 > atton-master
log paper/cbc-type.tex @ 58:68bf744d726e
age | author | description |
---|---|---|
Wed, 01 Feb 2017 14:52:01 +0900 | atton | Writing cs/ds in agda |
Wed, 01 Feb 2017 13:27:58 +0900 | atton | Split cbc-type.tex |
age | author | description |
---|---|---|
Wed, 01 Feb 2017 14:52:01 +0900 | atton | Writing cs/ds in agda |
Wed, 01 Feb 2017 13:27:58 +0900 | atton | Split cbc-type.tex |