Mercurial > hg > Gears > GearsAgda
comparison Todo.txt @ 861:0ede876fdc4c
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 02 Apr 2024 08:38:40 +0900 |
| parents | 2955d5b7debd |
| children | 91137bc52ddd |
comparison
equal
deleted
inserted
replaced
| 860:cbae47526086 | 861:0ede876fdc4c |
|---|