Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updata lambda calculus example

Browse source
This commit is contained in:
Martin Fredin 2023-05-25 10:18:02 +02:00
parent a03f139e5c
commit 41934e2011
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
demo/lambda_calculus.crf
View file

@ -26,10 +26,9 @@ insert x v cxt = case cxt of
eval : Cxt -> Exp -> Val eval : Cxt -> Exp -> Val
eval cxt exp = case exp of eval cxt exp = case exp of
EVar x => case lookup x cxt of
VInt i => VInt i
VClosure delta x e => eval delta e
EAbs x e => VClosure cxt x e EAbs x e => VClosure cxt x e
EVar x => case lookup x cxt of
VClosure delta x e => eval delta e
EApp e1 e2 => case eval cxt e1 of EApp e1 e2 => case eval cxt e1 of
VClosure delta x f => VClosure delta x f =>
let v = VClosure cxt x e2 in let v = VClosure cxt x e2 in