Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
2015-02-02 | Yasutaka Higa | Fix proof functor for DeltaM |
2015-02-02 | Yasutaka Higa | Fix Monad-proof for Delta |
2015-02-02 | Yasutaka Higa | Refactor monad definition |
2015-02-02 | Yasutaka Higa | Refactor DeltaM definition |
2015-02-02 | Yasutaka Higa | ReDefine DeltaM-mu in Haskell |
2015-02-02 | Yasutaka Higa | Prove association-law for DeltaM |
2015-02-02 | Yasutaka Higa | Temporary commit : Proving association-law .... |
Loading... |