Mercurial > hg > Members > kono > Proof > FirstOrder
log example2.agda @ 18:6cd5b63ecc38
age | author | description |
---|---|---|
Sat, 22 Aug 2020 13:34:12 +0900 | Shinji KONO | replace syntax |
Sat, 15 Aug 2020 17:15:14 +0900 | Shinji KONO | ... |
Sat, 15 Aug 2020 16:59:52 +0900 | Shinji KONO | fix example current |
Sat, 15 Aug 2020 11:51:03 +0900 | Shinji KONO | ... |
Thu, 13 Aug 2020 18:44:09 +0900 | Shinji KONO | starwars exmple |