Mercurial > hg > Gears > GearsAgda
graph
-
add some lemmaTue, 27 Mar 2018 09:30:49 +0900, by Shinji KONO
-
a little fix on reflMon, 26 Mar 2018 23:44:02 +0900, by Shinji KONO
-
use another nat comparatorMon, 26 Mar 2018 23:22:07 +0900, by Shinji KONO