From d44ae435c7a20dd65e89396ab9422b437c1a2dea Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 3 Nov 2021 16:31:28 +0100 Subject: [PATCH] Update LambdaCalculus.md --- doc/hackers-guide/LambdaCalculus.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/doc/hackers-guide/LambdaCalculus.md b/doc/hackers-guide/LambdaCalculus.md index 21636f753..7252fb648 100644 --- a/doc/hackers-guide/LambdaCalculus.md +++ b/doc/hackers-guide/LambdaCalculus.md @@ -27,14 +27,14 @@ data Value ``` ```Haskell -eval env (Vr x) vs = apply (lookup x env) vs -eval env (Cn c) vs = VApp c vs -eval env (App t1 t2) vs = eval env t1 (eval env t2 : vs) -eval env (Abs b x t) [] = return (VClosure env (Abs b x t)) -eval env (Abs b x t) (v:vs) = eval ((x,v):env) t vs +eval env (Vr x) vs = apply (lookup x env) vs +eval env (Cn c) vs = VApp c vs +eval env (App t1 t2) vs = eval env t1 (eval env t2 : vs) +eval env (Abs x t) [] = return (VClosure env (Abs b x t)) +eval env (Abs x t) (v:vs) = eval ((x,v):env) t vs -apply (VApp c vs0) vs = VApp c (vs0++vs) -apply (VClosure env (Abs b x t)) (v:vs) = eval ((x,v):env) t vs +apply (VApp c vs0) vs = VApp c (vs0++vs) +apply (VClosure env (Abs x t)) (v:vs) = eval ((x,v):env) t vs ``` # Variants