diff limit-to.agda @ 666:ba84fbc64c7d

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 23 Oct 2017 15:21:20 +0900 (2017-10-23)
parents e1d54c0f73a7
children 99065a1e56ea
line wrap: on
line diff