summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore44logplain
-rw-r--r--Makefile369logplain
-rw-r--r--Typecheck.java1750logplain
-rw-r--r--manifest.scm80logplain
d---------minijava217logplain
-rwxr-xr-xrun_tests.sh340logplain
d---------tests823logplain