Mercurial > hg > Members > ryokka > HoareLogic
log whileTestGears.agda @ 4:64bd5c236002
age | author | description |
---|---|---|
Fri, 14 Dec 2018 19:34:16 +0900 | ryokka | add whileTestGears |
age | author | description |
---|---|---|
Fri, 14 Dec 2018 19:34:16 +0900 | ryokka | add whileTestGears |