Mercurial > hg > Gears > GearsAgda
comparison Todo.txt @ 621:6861bcb9c54d
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 08 Nov 2021 16:36:26 +0900 |
| parents | 7bacba816277 |
| children | 6a805c8c1e53 |
comparison
equal
deleted
inserted
replaced
| 620:fe8c2d82c05c | 621:6861bcb9c54d |
|---|