Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 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 | ... |
| Loading... | ||