Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 25 Nov 2017 11:34:22 +0900 | Shinji KONO | ... |
Fri, 24 Nov 2017 16:38:34 +0900 | Shinji KONO | Applicative law → Monoidal law begin |
Fri, 24 Nov 2017 14:27:07 +0900 | Shinji KONO | Added tag current for changeset a41b2b9b0407 |