From 50bb15e9741a6f19a5f074f40a277260bffc8595 Mon Sep 17 00:00:00 2001
From: Dustin Swan <dustin@dustinswan.com>
Date: Mon, 2 Feb 2026 23:19:43 -0700
Subject: [PATCH] Typo

---
 src/stdlib.cg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stdlib.cg b/src/stdlib.cg
index 2efeb76..e308b9c 100644
--- a/src/stdlib.cg
+++ b/src/stdlib.cg
@@ -39,7 +39,7 @@ zipWith = f l1 l2 \ l1
     | [] \ []
     | [y, ...ys] \ [f x y, ...zipWith f xs ys]);
 
-# contains : a \ List a | Bool
+# contains : a \ List a \ Bool
 contains = x list \ list
   | [] \ False
   | [y, ...ys] \ (x == y