####### DOCUMENTATIATOIAITAT ION ########
+Usage:
+
+./CompInt [-c] [file]
+
+-c : Compile [file], interprets if it isn't specified
+
+if no arguments are specified then the file is interpreted
Files:
+Interpret.hs: Handles the interpretation of a program
+
+Compile.hs: Compiles the program into a c program
+
Typechecker.hs: Simple modification of the bnfc-generated Testsyntax which calls the type-checking functions.
Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar and typeCheckStm and some utility functions, responsible for the entire type-checking process.