repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
parse
[clean-tests.git]
/
deep-var
/
eval.icl
1
implementation module eval
2
3
import StdEnv
4
import test
5
6
eval :: DSL -> Int
7
eval (Lit i) = i
8
eval (Var def) = let (i In d) = def (Lit i) in eval d
9
eval (a +. b) = eval a + eval b