From 86dfebd9254ee5228e21021b46ad5a5a4a225c07 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 4 Nov 2021 12:40:46 +0100 Subject: [PATCH] Update LambdaCalculus.md --- doc/hackers-guide/LambdaCalculus.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/hackers-guide/LambdaCalculus.md b/doc/hackers-guide/LambdaCalculus.md index 3cf06eb2f..739bd8742 100644 --- a/doc/hackers-guide/LambdaCalculus.md +++ b/doc/hackers-guide/LambdaCalculus.md @@ -188,9 +188,9 @@ apply (VGen i vs) args = return (VGen i (vs++args)) ```Haskell value2term i (VApp c tnks) = - foldM (\e1 tnk -> fmap (App e1) (force tnk >>= value2term i)) (Cn c) tnks + foldM (\t tnk -> fmap (App t) (force tnk >>= value2term i)) (Cn c) tnks value2term i (VGen j tnks) = - foldM (\e1 tnk -> fmap (App e1) (force tnk >>= value2term i)) (Vr ('v':show j)) tnks + foldM (\t tnk -> fmap (App t) (force tnk >>= value2term i)) (Vr ('v':show j)) tnks value2term i (VClosure env (Abs x t)) = do tnk <- newEvaluatedThunk (VGen i []) v <- eval ((x,tnk):env) t []