Mercurial > hg > Members > kono > Proof > category
log list-level.agda @ 625:d73fbed639a9
age | author | description |
---|---|---|
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-08-17 | Shinji KONO | sync |
age | author | description |
---|---|---|
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-08-17 | Shinji KONO | sync |