X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=documentation;h=c3ac4e08ba815c574432d3e2f0905cf120a460e1;hb=cdcd3b92ee3145e646634d428b02118238d47f33;hp=fd4664dac04d54fd6b6dcd63704cf8532714b799;hpb=4ab526ea4f2ad39b6797adbc9df0fd26ac571456;p=proglang.git

diff --git a/documentation b/documentation
index fd4664d..c3ac4e0 100644
--- a/documentation
+++ b/documentation
@@ -9,7 +9,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.
 
 
-semantic rules
+typing rules
 ++++++++++++