Mercurial > hg > Papers > 2021 > soto-prosym
log Paper/tex/cbc_agda.tex @ 6:7ba9fa08ffb4
age | author | description |
---|---|---|
Wed, 10 Nov 2021 10:34:48 +0900 | soto | temporary DONE |
Tue, 02 Nov 2021 06:55:58 +0900 | soto | init |
age | author | description |
---|---|---|
Wed, 10 Nov 2021 10:34:48 +0900 | soto | temporary DONE |
Tue, 02 Nov 2021 06:55:58 +0900 | soto | init |