stub for typechecking
-rw-r--r-- 34 .gitignore
-rw-r--r-- 1132 AST.dcl
-rw-r--r-- 3356 AST.icl
-rw-r--r-- 1091 LICENCE
-rw-r--r-- 202 Makefile
-rw-r--r-- 763 README.md
drwxr-xr-x - deliverables
drwxr-xr-x - envs
drwxr-xr-x - examples
drwxr-xr-x - grammar
-rw-r--r-- 1560 lex.dcl
-rw-r--r-- 4111 lex.icl
-rw-r--r-- 303 parse.dcl
-rw-r--r-- 7009 parse.icl
-rw-r--r-- 3022 spl.icl
-rw-r--r-- 14343 spl.prj
-rw-r--r-- 120 type.dcl
-rw-r--r-- 114 type.icl
-rw-r--r-- 942 yard.dcl
-rw-r--r-- 2603 yard.icl