Mercurial > hg > Gears > GearsAgda
comparison AgdaLink.txt @ 675:7421e5c7e56c
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 23 Nov 2021 15:11:56 +0900 |
parents | 4f692df9b3db |
children |
comparison
equal
deleted
inserted
replaced
671:b5fde9727830 | 675:7421e5c7e56c |
---|