From 0c0655018956b4cc9612f48063f9f1ea44ee3530 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Thu, 30 Nov 2023 08:38:43 -0700 Subject: [PATCH] why did i think s was succ --- src/Core/Examples.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Core/Examples.hs b/src/Core/Examples.hs index e0a6563..f783369 100644 --- a/src/Core/Examples.hs +++ b/src/Core/Examples.hs @@ -117,7 +117,7 @@ corePrelude = Module (Just ("Prelude", [])) $ id x = x; k x y = x; k1 x y = y; - succ f g x = f x (g x); + s f g x = f x (g x); compose f g x = f (g x); twice f x = f (f x); fst p = casePair# p k;