GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 17:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Update LambdaCalculus.md

Browse Source
This commit is contained in:
Krasimir Angelov
2021-11-04 12:40:46 +01:00
committed by GitHub
parent 478287c12f
commit 86dfebd925
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -188,9 +188,9 @@ apply (VGen i vs) args = return (VGen i (vs++args))
```Haskell ```Haskell
value2term i (VApp c tnks) = 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) = 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 value2term i (VClosure env (Abs x t)) = do
tnk <- newEvaluatedThunk (VGen i []) tnk <- newEvaluatedThunk (VGen i [])
v <- eval ((x,tnk):env) t [] v <- eval ((x,tnk):env) t []