Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Fri, 23 Jan 2015 17:05:08 +0900 | Yasutaka Higa | Change monad definition on DeltaM. use mu. |
Wed, 21 Jan 2015 17:43:53 +0900 | Yasutaka Higa | Trying Monad-laws for DeltaM |
Tue, 20 Jan 2015 16:27:55 +0900 | Yasutaka Higa | Update Natural Transformation definitions |
Tue, 20 Jan 2015 16:25:53 +0900 | Yasutaka Higa | Unify Levels in delta |