aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Monad/List.bruijn
diff options
context:
space:
mode:
Diffstat (limited to 'std/Monad/List.bruijn')
-rw-r--r--std/Monad/List.bruijn1
1 files changed, 0 insertions, 1 deletions
diff --git a/std/Monad/List.bruijn b/std/Monad/List.bruijn
index 6c29d5a..6e8c2dd 100644
--- a/std/Monad/List.bruijn
+++ b/std/Monad/List.bruijn
@@ -47,4 +47,3 @@ replicate-m >replicate ⧗ Number → (M a) → (M (List a))
# maps elements to a monadic action
map-m >map ⧗ (a → (M b)) → (List a) → (M (List b))
-