summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore44logplain
-rw-r--r--J2V.java672logplain
-rw-r--r--Makefile369logplain
-rw-r--r--Typecheck.java2137logplain
-rw-r--r--manifest.scm80logplain
-rwxr-xr-xrun_tests.sh350logplain
d---------typecheck66logplain
d---------vaporize66logplain