Mercurial > hg > Gears > GearsAgda
view work.agdai @ 890:6a5fe1c4855a
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 18 May 2024 16:03:40 +0900 (2024-05-18) |
parents | dca93aef5e36 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 18 May 2024 16:03:40 +0900 (2024-05-18) |
parents | dca93aef5e36 |
children |