Mercurial > hg > Members > atton > delta_monad
graph
-
Add prototype Delta for modification with type changes2015-02-27, by Yasutaka Higa
-
Fix names left/right unity law2015-02-25, by Yasutaka Higa
-
Merge2015-02-25, by Yasutaka Higa
-
Add sort example using Delta/DeltaM2015-02-25, by Yasutaka Higa
-
case-sensitive collision resolve : Rename delta.hs -> Delta.hs2015-02-15, by Yasutaka Higa
-
Merge some commits2015-02-15, by Yasutaka Higa
-
Fix delta/Delta filename collision in hg2015-02-15, by Yasutaka Higa
-
Rename function in example2015-02-15, by Yasutaka Higa
-
Adjust codes2015-02-15, by Yasutaka Higa
-
Delete unnecessary lines2015-02-15, by Yasutaka Higa
-
Update Example2015-02-07, by Yasutaka Higa
-
Rename and split with module for haskell codes2015-02-06, by Yasutaka Higa
-
Create directory for haskell codes2015-02-06, by Yasutaka Higa
-
Added tag InfiniteDeltaWithMonad for changeset d205ff1e406f2015-02-03, by Yasutaka Higa
-
Prove all Monad-laws for Delta with Monad2015-02-03, by Yasutaka Higa
-
Prove assciation-law for DeltaM on (S O)2015-02-03, by Yasutaka Higa
-
Fix association-law for DeltaM in (S n)2015-02-03, by Yasutaka Higa
-
Prove left-unity-law for DeltaM2015-02-03, by Yasutaka Higa
-
Prove mu-is-nt for DeltaM with fmap-equiv2015-02-03, by Yasutaka Higa
-
Prove right-unity-law for DeltaM2015-02-02, by Yasutaka Higa
-
Fix proof natural transformation for deltaM-eta2015-02-02, by Yasutaka Higa
-
Fix proof functor for DeltaM2015-02-02, by Yasutaka Higa
-
Fix Monad-proof for Delta2015-02-02, by Yasutaka Higa
-
Refactor monad definition2015-02-02, by Yasutaka Higa
-
Refactor DeltaM definition2015-02-02, by Yasutaka Higa
-
ReDefine DeltaM-mu in Haskell2015-02-02, by Yasutaka Higa
-
Prove association-law for DeltaM2015-02-02, by Yasutaka Higa
-
Temporary commit : Proving association-law ....2015-02-02, by Yasutaka Higa
-
Prove association-law for DeltaM by (S O) pattern with definition changes2015-02-01, by Yasutaka Higa
-
Temporary commit : Proving association-law ...2015-02-01, by Yasutaka Higa
-
Prove natural transformation for deltaM-eta2015-01-30, by Yasutaka Higa
-
Delte trying code2015-01-30, by Yasutaka Higa
-
Prove left-unity-law for DeltaM2015-01-30, by Yasutaka Higa
-
Prove right-unity-law on DeltaM2015-01-29, by Yasutaka Higa
-
Rewrite Functor-laws for DeltaM2015-01-28, by Yasutaka Higa
-
Redefine DeltaM that length fixed2015-01-28, by Yasutaka Higa
-
Delete comment outed temporary code2015-01-28, by Yasutaka Higa
-
Prove monad-laws for length fixed infinite Delta2015-01-28, by Yasutaka Higa
-
Delete Revision2015-01-27, by Yasutaka Higa
-
Retrying prove monad-laws for delta2015-01-27, by Yasutaka Higa
-
Trying redenition Delta with length constraints2015-01-26, by Yasutaka Higa
-
Delte type dependencie in Monad record for escape implicit type conflict2015-01-26, by Yasutaka Higa
-
Trying right-unity-law on DeltaM. but do not fit implicit type in eta...2015-01-25, by Yasutaka Higa
-
Fix bind definition on DeltaM. use mu.2015-01-25, by Yasutaka Higa
-
Redefine some functions DeltaM in agda2015-01-23, by Yasutaka Higa
-
Change monad definition on DeltaM. use mu.2015-01-23, by Yasutaka Higa
-
Trying Monad-laws for DeltaM2015-01-21, by Yasutaka Higa
-
Update Natural Transformation definitions2015-01-20, by Yasutaka Higa
-
Unify Levels in delta2015-01-20, by Yasutaka Higa
-
Fix implicit values in deltaM-mu2015-01-19, by Yasutaka Higa
-
Rewrite monad definitions for delta/deltaM2015-01-19, by Yasutaka Higa
-
Prove functor-laws for deltaM2015-01-19, by Yasutaka Higa
-
Prove preserve-id for deltaM2015-01-19, by Yasutaka Higa
-
Prove deltaM-preserve-id by mono2015-01-19, by Yasutaka Higa
-
Unify levels on data type. only use suc to proofs2015-01-19, by Yasutaka Higa
-
Defining DeltaM in Agda...2015-01-19, by Yasutaka Higa
-
Split monad-proofs into delta.monad2015-01-19, by Yasutaka Higa
-
Split functor-proofs into delta.functor2015-01-19, by Yasutaka Higa