diff paper/escape_agda.rb @ 108:4b26c8020229

Fix return
author atton
date Mon, 13 Feb 2017 13:59:20 +0900
parents 40ae32725e55
children
line wrap: on
line diff