Mercurial > hg > Gears > GearsAgda
diff Todo.txt @ 533:2d6ccbf429ad
add test
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 10 Jan 2018 00:47:17 +0900 |
parents | 5f684d39832e |
children | 7d9af1d4b5af |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 10 Jan 2018 00:47:17 +0900 |
parents | 5f684d39832e |
children | 7d9af1d4b5af |