sdiehl/write-you-a-haskell
1
1
Fork 0
mirror of https://github.com/sdiehl/write-you-a-haskell.git synced 2024-09-11 19:47:31 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #87 from halyconic/master

Browse Source 
fix names for ski combinators
This commit is contained in:
Stephen Diehl 2016-07-24 12:32:53 -04:00 committed by GitHub
commit fc2be3da4b
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
s, k, i :: Expr
s = Lam "x" (Var "x")
i = Lam "x" (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")))))