summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xski.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/ski.hs b/ski.hs
index b0ea4d8..a462afe 100755
--- a/ski.hs
+++ b/ski.hs
@@ -43,8 +43,8 @@ eval (Ap I x) = eval x
-- (Ap (Ap _ _) _)
--
-- so we just define that by recursing onto each branch of the Expr tree. But
--- first we check for branch equality, to avoid infinite recursion:
---
+-- first we check for equality, to avoid infinite recursion:
+
eval (Ap a b) =
if a == a' && b == b'
then (Ap a b)