Mercurial > hg > Gears > GearsAgda
comparison logic.agda @ 890:6a5fe1c4855a
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 18 May 2024 16:03:40 +0900 (2024-05-18) |
parents | 0b791ae19543 |
children | e5288029f850 |
comparison
equal
deleted
inserted
replaced
889:e753aea361ea | 890:6a5fe1c4855a |
---|