Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Fri, 30 Jan 2015 21:57:31 +0900 | Yasutaka Higa | Prove left-unity-law for DeltaM |
age | author | description |
---|---|---|
Fri, 30 Jan 2015 21:57:31 +0900 | Yasutaka Higa | Prove left-unity-law for DeltaM |