From f0114240cecd453c2be7bb760455f0eb5b7a02a0 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 20:36:13 +0200
Subject: Initial minibruijn

---
 std/Monad/Generic.bruijn | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 std/Monad/Generic.bruijn

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

diff --git a/std/Monad/Generic.bruijn b/std/Monad/Generic.bruijn
deleted file mode 100644
index 619ecc3..0000000
--- a/std/Monad/Generic.bruijn
+++ /dev/null
@@ -1,16 +0,0 @@
-# MIT License, Copyright (c) 2024 Marvin Borner
-# for now, monads, functors, applicative, etc are all in here..
-
-# TODO: more monad interface
-
-liftA map ⧗ (a → b) → (f a) → (f b)
-
-liftA2 ap ∘∘ map ⧗ (a → b → c) → (f a) → (f b) → (f c)
-
-liftA3 [[[[(liftA2 3 2 1) <*> 0]]]] ⧗ (a → b → c → d) → (f a) → (f b) → (f c) → (f d)
-
-…<$… map ∘ k ⧗ a → (f b) → (f a)
-
-…*>… [[(i <$ 1) <*> 0]] ⧗ (f a) → (f b) → (f b)
-
-…<*… liftA2 k ⧗ (f a) → (f b) → (f a)
-- 
cgit v1.2.3