Skip to content

Commit 0825f18

Browse files
sstuckisstucki
committed
Add graded monads and graded Kleisli triples
1 parent 8a1f8e4 commit 0825f18

File tree

1 file changed

+440
-0
lines changed

1 file changed

+440
-0
lines changed

0 commit comments

Comments
 (0)