Mercurial > hg > Members > kono > Proof > agda-reflection
log hello.agda @ 2:27e2035653ce default tip
age | author | description |
---|---|---|
Fri, 15 Mar 2019 17:35:46 +0900 | Shinji KONO | reflection and tactics |
age | author | description |
---|---|---|
Fri, 15 Mar 2019 17:35:46 +0900 | Shinji KONO | reflection and tactics |