diff Paper/tex/agda.tex @ 14:ba98083f9853 default tip

FIX
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Fri, 27 May 2022 12:31:39 +0900 (2022-05-27)
parents 9ec2d2ac1309
children
line wrap: on
line diff