Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Sun, 01 Feb 2015 17:55:39 +0900 | Yasutaka Higa | Prove association-law for DeltaM by (S O) pattern with definition changes |
Sun, 01 Feb 2015 17:06:55 +0900 | Yasutaka Higa | Temporary commit : Proving association-law ... |