inference from haskell writing

[fp.git] / ast.dcl

diff --git a/ast.dcl b/ast.dcl
index 510434c..a490153 100644 (file)
--- a/ast.dcl
+++ b/ast.dcl
@@ -8,6 +8,9 @@ definition module ast
        = Literal Value
        | Variable String
        | Apply Expression Expression
+       | Lambda String Expression
+       | Let String Expression Expression
+       | Code String
        | ..
 
 :: Value