msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

why did i think s was succ

Browse Source
This commit is contained in:
crumbtoo
2023-11-30 08:38:43 -07:00
parent 04c55a9968
commit 0c06550189
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Core/Examples.hs
View File

@@ -117,7 +117,7 @@ corePrelude = Module (Just ("Prelude", [])) $
id x = x; id x = x;
k x y = x; k x y = x;
k1 x y = y; 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); compose f g x = f (g x);
twice f x = f (f x); twice f x = f (f x);
fst p = casePair# p k; fst p = casePair# p k;