LambdaCalculator 0.0.1 → 0.0.2

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• LambdaCalculator.cabal +1/−1
• LambdaCalculator.hs +1/−1

@@ -1,5 +1,5 @@ name:		LambdaCalculator-version:	0.0.1+version:	0.0.2 license:	BSD3 license-file:	LICENSE copyright:	Tim Sheard

@@ -220,7 +220,7 @@   ,("false", "\\t.\\f.f")   ,("succ", "\\n. \\s . \\z. n s (s z)")   ,("pred", "\\n . snd(n (\\ x . pair (succ (fst x)) (fst x)) (pair zero zero))")-  ,("fact", "\\n . snd(n (\\ x . pair (succ (fst x)) (mult (succ (fst x))(snd x)) (pair zero one) ))" )+  ,("fact", "\\n . snd(n (\\ x . pair (succ (fst x)) (mult (succ (fst x)) (snd x))) (pair zero one))")   ,("const", "\\c . \\a . c")   ,("ifZero","\\ x . x (const false) true")   ,("isZero", "ifZero")