Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2017-12-13 | shinji_kono | Initial Bitbucket Pipelines configuration |
| 2017-12-13 | Shinji KONO | fix |
| 2017-12-12 | Shinji KONO | clean up |
| 2017-12-12 | Shinji KONO | clean up |
| 2017-12-12 | Shinji KONO | Added tag current for changeset c30ca91f3a76 |
| 2017-12-12 | Shinji KONO | Applicative all done |
| 2017-12-11 | Shinji KONO | Applicative→HaskellMonoidal begin |
| 2017-12-11 | Shinji KONO | Added tag current for changeset 37ddc8228832 |
| 2017-12-11 | Shinji KONO | monad to applicative done. |
| 2017-12-11 | Shinji KONO | connected interchange |
| 2017-12-11 | Shinji KONO | ... |
| 2017-12-11 | Shinji KONO | ... |
| 2017-12-11 | Shinji KONO | ... |
| 2017-12-11 | Shinji KONO | composition connected |
| 2017-12-11 | Shinji KONO | ... |
| 2017-12-11 | Shinji KONO | ... |
| 2017-12-11 | Shinji KONO | monad to haskell monoidal done. |
| 2017-12-10 | Shinji KONO | ... |
| 2017-12-10 | Shinji KONO | ... |
| 2017-12-10 | Shinji KONO | connected |
| 2017-12-10 | Shinji KONO | FMap remains |
| 2017-12-10 | Shinji KONO | assoc start |
| 2017-12-10 | Shinji KONO | yellow removed |
| 2017-12-10 | Shinji KONO | yellow on idrφ |
| 2017-12-10 | Shinji KONO | ... |
| 2017-12-09 | Shinji KONO | ... |
| 2017-12-08 | Shinji KONO | ... |
| 2017-12-08 | Shinji KONO | ... |
| 2017-12-05 | Shinji KONO | .. give up Monad to monoidal functor in general |
| 2017-12-04 | Shinji KONO | nat-ε |