Mercurial > hg > Gears > GearsAgda
diff queue.agda @ 692:9f1ccc8a0e1d
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 01 Dec 2021 23:04:55 +0900 (2021-12-01) |
parents | 70b09cbefd45 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 01 Dec 2021 23:04:55 +0900 (2021-12-01) |
parents | 70b09cbefd45 |
children |