1 files changed, 17 insertions, 0 deletions
diff --git a/1415/fp2/week45/mart/RefactorX.dcl b/1415/fp2/week45/mart/RefactorX.dcl
new file mode 100644
index 0000000..393c097
--- /dev/null
+++ b/1415/fp2/week45/mart/RefactorX.dcl
@@ -0,0 +1,17 @@
+// Mart Lubbers s4109503, Camil Staps s4498062
+
+definition module RefactorX
+
+from StdClass import class toString
+import StdEnv
+
+:: Expr = NR Int | VAR Name | OP Expr Operator Expr | LET Name Expr Expr
+:: Name :== String
+:: Operator = PLUS | MIN | MUL | DIV
+:: Val = Result Int | Undef
+
+
+instance toString Expr
+free :: Expr -> [Name]
+remove_unused_lets :: Expr -> Expr
+eval :: Expr -> Val