Mercurial > hg > Members > kono > Proof > category
log stdalone-kleisli.agda @ 809:0976d576f5f6
age | author | description |
---|---|---|
Wed, 13 Jun 2018 15:27:46 +0900 | Shinji KONO | exchange left and right |
Wed, 13 Jun 2018 12:56:38 +0900 | Shinji KONO | add simple category version |