Mercurial > hg > Papers > 2022 > kiyama-sigos

comparison Paper/escape_agda.rb @ 4:22e459299d68

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add slide
author kiyama <e185758@ie.u-ryukyu.ac.jp>
date Fri, 27 May 2022 01:17:35 +0900
parents 78fab99c6008
children
comparison
equal deleted inserted replaced
3:8b01419817fe 4:22e459299d68