msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Update LambdaCalculus.md

Browse Source
This commit is contained in:
Krasimir Angelov
2021-11-03 16:32:00 +01:00
committed by GitHub
parent d44ae435c7
commit 02e728ca1e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/hackers-guide/LambdaCalculus.md
View File

@@ -30,7 +30,7 @@ data Value
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) [] = 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)