comparison limit-to.agda @ 805:979c0bf97a5a

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 25 Apr 2019 17:56:30 +0900 (2019-04-25)
parents 82a8c1ab4ef5
children 8f41ad966eaa
comparison
equal deleted inserted replaced
804:2716d2945730 805:979c0bf97a5a