comparison paper/escape_agda.rb @ 106:cc2ca280345f

Fix cover
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 13 Feb 2017 13:22:18 +0900
parents 40ae32725e55
children
comparison
equal deleted inserted replaced
105:9ded961f6414 106:cc2ca280345f