repositories
/
minfp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
start support for recursive let
[minfp.git]
/
ast.dcl
diff --git
a/ast.dcl
b/ast.dcl
index
5f7b1b5
..
7dd17d7
100644
(file)
--- a/
ast.dcl
+++ b/
ast.dcl
@@
-12,7
+12,7
@@
from int import :: Eval
| Var [Char]
| App Expression Expression
| Lambda [Char] Expression
- | Let [
Char] Expression
Expression
+ | Let [
([Char], Expression)]
Expression
:: Value
= Int Int