log Paper/escape_agda.rb @ 11:ae8ea72d5c41

age author description
2022-05-04 soto WIP 8割くらいできた
2022-04-24 soto ADD fast commit