Mercurial > hg > Members > kono > Proof > category
log Comma.agda @ 478:dc24ac6ebdb3
age | author | description |
---|---|---|
Thu, 09 Mar 2017 09:03:07 +0900 | Shinji KONO | Comma category |
Wed, 08 Mar 2017 22:33:31 +0900 | Shinji KONO | add Comma category |
age | author | description |
---|---|---|
Thu, 09 Mar 2017 09:03:07 +0900 | Shinji KONO | Comma category |
Wed, 08 Mar 2017 22:33:31 +0900 | Shinji KONO | add Comma category |