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