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...