Added monad isntances for List and Maybe.

2026-06-01 14:18:55 -06:00 · 2005-11-30 18:57:23 +00:00
parent 8460fbef67
commit 87b5b826ce
3 changed files with 30 additions and 4 deletions
--- a/transfer/lib/prelude.tr
+++ b/transfer/lib/prelude.tr
@@ -327,4 +327,3 @@ return _ d = d.return
 bind : (M : Type -> Type) -> Monad M 
    -> (A : Type) -> (B : Type) -> M A -> (A -> M B) -> M B
 bind _ d = d.bind
-