Mercurial > hg > Members > kono > Proof > agda-reflection
log
age | author | description |
---|---|---|
2019-12-12 | Shinji KONO | ... default tip |
2019-03-26 | Shinji KONO | fix |
2019-03-15 | Shinji KONO | reflection and tactics |
No more entries |
age | author | description |
---|---|---|
2019-12-12 | Shinji KONO | ... default tip |
2019-03-26 | Shinji KONO | fix |
2019-03-15 | Shinji KONO | reflection and tactics |
No more entries |