Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 12 Nov 2017 00:53:32 +0900 | Shinji KONO | fix again |
Sat, 11 Nov 2017 21:34:58 +0900 | Shinji KONO | fix monad/adjunction definition |
Wed, 08 Nov 2017 19:57:43 +0900 | Shinji KONO | Added tag current for changeset 14ad6ec8a662 |