3 lines
No EOL
109 B
Agda
3 lines
No EOL
109 B
Agda
|
|
-- Here we definition the notion of kleisli-triple and prove that it is equivalent to a monad
|
|
record Kleisli |