view Paper/tex/.#cbc_agda.tex @ 9:bc8222372b9d

ADD スライドの流れを一旦push
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Mon, 23 May 2022 17:16:09 +0900
parents 14a0e409d574
children
line wrap: on
line source

soto@Szeleta.local.353