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

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