sdiehl/write-you-a-haskell
1
1
Fork 0
mirror of https://github.com/sdiehl/write-you-a-haskell.git synced 2024-08-16 07:00:36 +03:00
Code Issues Projects Releases Wiki Activity

fix names for ski combinators

Browse Source
This commit is contained in:
Stephen Webber 2016-07-23 18:34:57 -05:00
parent 5c515bd386
commit 033d0ae477
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
chapter4/lambda.hs
View File

@ -6,6 +6,6 @@ data Expr
| Lam Name Expr | Lam Name Expr
s, k, i :: Expr s, k, i :: Expr
s = Lam "x" (Var "x") i = Lam "x" (Var "x")
k = Lam "x" (Lam "y" (Var "x")) k = Lam "x" (Lam "y" (Var "x"))
i = Lam "x" (Lam "y" (Lam "z" (App (App (Var "x") (Var "z")) (App (Var "y") (Var "z"))))) s = Lam "x" (Lam "y" (Lam "z" (App (App (Var "x") (Var "z")) (App (Var "y") (Var "z")))))