GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update LambdaCalculus.md

Browse Source
This commit is contained in:
Krasimir Angelov
2021-11-03 16:33:25 +01:00
committed by GitHub
parent 02e728ca1e
commit 18083c09b1
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 (Vr x) vs = apply (lookup x env) vs
eval env (Cn c) vs = VApp c vs eval env (Cn c) vs = VApp c vs
eval env (App t1 t2) vs = eval env t1 (eval env t2 : vs) eval env (App t1 t2) vs = eval env t1 (eval env t2 : vs)
eval env (Abs x t) [] = VClosure env (Abs b x t) eval env (Abs x t) [] = VClosure env (Abs x t)
eval env (Abs x t) (v:vs) = eval ((x,v):env) t vs eval env (Abs x t) (v:vs) = eval ((x,v):env) t vs
apply (VApp c vs0) vs = VApp c (vs0++vs) apply (VApp c vs0) vs = VApp c (vs0++vs)