Mercurial > hg > Members > kono > Proof > category
log maybe-monad.agda @ 861:9e6e44ae82be
age | author | description |
---|---|---|
Wed, 19 Jul 2017 22:27:35 +0900 | Shinji KONO | maybe monad done |
Wed, 19 Jul 2017 20:38:02 +0900 | Shinji KONO | add maybe-monad |
age | author | description |
---|---|---|
Wed, 19 Jul 2017 22:27:35 +0900 | Shinji KONO | maybe monad done |
Wed, 19 Jul 2017 20:38:02 +0900 | Shinji KONO | add maybe-monad |