Fri, 23 Jan 2015 17:44:53 +0900 |
Yasutaka Higa |
Redefine some functions DeltaM in agda
|
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
|
Mon, 19 Jan 2015 17:47:55 +0900 |
Yasutaka Higa |
Fix implicit values in deltaM-mu
|
Mon, 19 Jan 2015 17:10:29 +0900 |
Yasutaka Higa |
Rewrite monad definitions for delta/deltaM
|