X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=documentation;h=47008eefba987fb88613cf46094072b64c289764;hb=ad65f2bc9228f04e0df3e309518f3c5b27cbfc06;hp=c3ac4e08ba815c574432d3e2f0905cf120a460e1;hpb=97719af3b544b9fae80e886bf6a49c51b4a320a9;p=proglang.git

diff --git a/documentation b/documentation
index c3ac4e0..47008ee 100644
--- a/documentation
+++ b/documentation
@@ -1,7 +1,18 @@
 ####### 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.
@@ -9,7 +20,7 @@ Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar an
 Abssyntax.hs, Parsyntax.y, Lexsyntax.x,ErrM.hs,Printsyntax.hs,Skelsyntax.hs: The files generated by bnfc, only modification is the removal of the Bool type in Abssyntx.hs so haskell's internal type can be used.
 
 
-typing rules
+semantic rules
 ++++++++++++