diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-30 18:57:23 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-30 18:57:23 +0000 |
| commit | d92a26fc9be92fb269888947a8b26aa12883065e (patch) | |
| tree | d74e451a1de42e95db949b0429d96ccb3178acfa /transfer/lib/prelude.tr | |
| parent | 12ca29b32b50fd924c5f69a30d204e4332dff4f9 (diff) | |
Added monad isntances for List and Maybe.
Diffstat (limited to 'transfer/lib/prelude.tr')
| -rw-r--r-- | transfer/lib/prelude.tr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/transfer/lib/prelude.tr b/transfer/lib/prelude.tr index 97336c47f..fb5f724dd 100644 --- 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 - |