From b75fae17e1f887ddb7950410844ac2a819b7cca7 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Tue, 7 Aug 2018 15:34:57 -0700 Subject: Another typo --- ski.hs | 4 ++-- 1 file 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) -- cgit v1.2.3