]> ruin.nu Git - proglang.git/tree
added some more typeerrors
-rw-r--r-- 935 Abs.hs
-rw-r--r-- 704 Abssyntax.hs
-rw-r--r-- 5977 Docsyntax.tex
-rw-r--r-- 382 ErrM.hs
-rw-r--r-- 3717 Lexsyntax.x
-rw-r--r-- 471 Makefile
-rw-r--r-- 3105 Parsyntax.y
-rw-r--r-- 4887 Printsyntax.hs
-rw-r--r-- 1441 Skelsyntax.hs
-rw-r--r-- 1376 Testsyntax.hs
-rw-r--r-- 2086 Typecheck.hs
-rw-r--r-- 1377 Typechecker.hs
-rw-r--r-- 812 documentation
drwxr-xr-x - examples
-rw-r--r-- 1880 syntax.cf