Mercurial > hg > Gears > GearsAgda
comparison Todo.txt @ 555:e8c9a492b578
a little fix on refl
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 26 Mar 2018 23:44:02 +0900 |
parents | 7d9af1d4b5af |
children | 8777baeb90f8 |
comparison
equal
deleted
inserted
replaced
554:988c12d7f887 | 555:e8c9a492b578 |
---|