From 6ae44d09faa0ae353c0818705503cad42127d102 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 3 Mar 2024 15:03:41 +0100
Subject: Even more samples

wtf
---
 std/Option.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'std/Option.bruijn')

diff --git a/std/Option.bruijn b/std/Option.bruijn
index 20e4a19..257b5f8 100644
--- a/std/Option.bruijn
+++ b/std/Option.bruijn
@@ -28,7 +28,7 @@ map [[0 none [some (2 0)]]] ⧗ (a → b) → (Option a) → (Option b)
 :test (map [[1]] none) (none)
 
 # applies a function to the value in option or returns first arg if none
-map-or v ⧗ (a → b) → (Option a) → (Option c)
+map-or v ⧗ a → (b → c) → (Option b) → c
 
 :test (map-or [[[2]]] [[1]] (some [[0]])) ([[[0]]])
 :test (map-or [[[2]]] [[1]] none) ([[[2]]])
-- 
cgit v1.2.3