Mercurial > hg > Papers > 2022 > soto-sigos
log Paper/escape_agda.rb @ 11:ae8ea72d5c41
age | author | description |
---|---|---|
2022-05-04 | soto | WIP 8割くらいできた |
2022-04-24 | soto | ADD fast commit |
age | author | description |
---|---|---|
2022-05-04 | soto | WIP 8割くらいできた |
2022-04-24 | soto | ADD fast commit |