Mercurial > hg > Members > kono > Proof > agda-reflection
log
age | author | description |
---|---|---|
Tue, 26 Mar 2019 18:02:06 +0900 | Shinji KONO | fix |
Fri, 15 Mar 2019 17:35:46 +0900 | Shinji KONO | reflection and tactics |
age | author | description |
---|---|---|
Tue, 26 Mar 2019 18:02:06 +0900 | Shinji KONO | fix |
Fri, 15 Mar 2019 17:35:46 +0900 | Shinji KONO | reflection and tactics |