diff --git a/language.cabal b/language.cabal
index b78946d..a7960eb 100644
--- a/language.cabal
+++ b/language.cabal
@@ -57,7 +57,6 @@ executable language
       Compiler
       Renamer.Renamer
       ReportForall
-      TreeConverter
       Desugar.Desugar
 
     hs-source-dirs:   src
diff --git a/src/TreeConverter.hs b/src/TreeConverter.hs
deleted file mode 100644
index 2dfa7d2..0000000
--- a/src/TreeConverter.hs
+++ /dev/null
@@ -1,13 +0,0 @@
-module TreeConverter where
-
---import qualified Grammar.Abs as G
---import qualified TypeChecker.TypeCheckerIr as T
---
---convertToTypecheckerIR :: G.Program -> Either String T.Program
---convertToTypecheckerIR (G.Program defs) = T.Program (map convertDef defs)
---
---convertDef :: G.Bind -> T.Bind
---convertDef (G.Bind name t _ args exp) = T.Bind (name, t) (map (\i -> (i, T.TMono "Int"))) (convertExp exp)
---
---
-
diff --git a/test_program.crf b/test_program.crf
index be958af..06dfee3 100644
--- a/test_program.crf
+++ b/test_program.crf
@@ -1,15 +1,6 @@
-data Two where
-    This : Two
-    That : Two 
+main = sigma 0 10
 
-main = reval (eval This)
-
-eval x = case x of
-    That => That
-    This => eval That
-
-reval x = case x of
-   This => 123 
-   That => 123
-
--- test comment
+sigma : Int -> Int -> Int
+sigma from to = case from == to of
+        True => from
+        False => to + sigma from (to - 1)