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