changeset | 1df4f9d88025 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Monad-law-3 (haskell) |
files | agda/similar.agda |
changeset | 23474bf242c6 |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof monad-law-h-2, trying monad-law-h-3 |
files | agda/similar.agda |
changeset | a7cd7740f33e |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Add Haskell style Monad-laws and Proof Monad-laws-h-1 |
files | agda/similar.agda |
changeset | b9b26b470cc2 |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Add Comments |
files | agda/similar.agda |
changeset | 6ce83b2c9e59 |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Functor-laws |
files | agda/similar.agda |
changeset | 743c05b98dad |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Use level in basic/list |
files | agda/basic.agda agda/list.agda |
changeset | 169ec60fcd36 |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Monad-law-4 |
files | agda/similar.agda |
changeset | c5cdbedc68ad |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Monad-law-2-2 |
files | agda/basic.agda agda/similar.agda |
changeset | b7c4e6276bcf |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Monad-law-2-1 |
files | agda/similar.agda |
changeset | 0bc402f970b3 |
---|---|
branch | |
bookmark | |
tag | |
user | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
description | Proof Monad-law 1 |
files | agda/similar.agda |