Mercurial > hg > Members > Moririn
comparison etc/trichotomos-ex.agda @ 621:6861bcb9c54d
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 08 Nov 2021 16:36:26 +0900 |
| parents | f24a73245f36 |
| children | 0b791ae19543 |
comparison
equal
deleted
inserted
replaced
| 620:fe8c2d82c05c | 621:6861bcb9c54d |
|---|