From 072707de34348a1c01eeeb90006c5ca828d2a992 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 19:08:54 +0200
Subject: Scrappy parser combinators

---
 std/Monad/List.bruijn | 1 -
 1 file changed, 1 deletion(-)

(limited to 'std/Monad/List.bruijn')

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))
-
-- 
cgit v1.2.3