drwxr-xr-x 3 edrx edrx 4096 Mar 12 10:07 ./ drwxr-xr-x 87 edrx edrx 8192 Jul 25 11:01 ../ -rw-r--r-- 1 edrx edrx 5206 Dec 2 2004 TECHREP -rw-r--r-- 1 edrx edrx 5711 Jul 25 11:01 TECHREP.html -rw-r--r-- 2 edrx edrx 33719 Jun 19 2007 bytecodediag_1.png -rw-r--r-- 2 edrx edrx 33845 Jun 19 2007 bytecodediag_2.png -rw-r--r-- 2 edrx edrx 26464 Jun 23 2007 bytecodediag_3.png -rw-r--r-- 2 edrx edrx 25078 Jun 23 2007 bytecodediag_4.png drwxr-xr-x 2 edrx edrx 4096 Jul 25 11:01 crim/ -rw-r--r-- 1 edrx edrx 1063 Dec 2 2004 cube1.mflua -rw-r--r-- 1 edrx edrx 1535 Jul 25 11:01 cube1.mflua.html -rw-r--r-- 1 edrx edrx 4076 Dec 2 2004 lcode.e -rw-r--r-- 1 edrx edrx 5316 Jul 25 11:01 lcode.e.html -rw-r--r-- 1 edrx edrx 1142 Dec 2 2004 macro1.lua -rw-r--r-- 1 edrx edrx 1528 Jul 25 11:01 macro1.lua.html -rw-r--r-- 1 edrx edrx 1363 Dec 2 2004 macro2.lua -rw-r--r-- 1 edrx edrx 1749 Jul 25 11:01 macro2.lua.html -rw-r--r-- 1 edrx edrx 1072 Dec 2 2004 miniforth1.lua -rw-r--r-- 1 edrx edrx 1466 Jul 25 11:01 miniforth1.lua.html -rw-r--r-- 1 edrx edrx 1901 Mar 30 2006 miniforth2.lua -rw-r--r-- 1 edrx edrx 2462 Jul 25 11:01 miniforth2.lua.html -rw-r--r-- 1 edrx edrx 1763 Mar 14 2007 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2291 Jul 25 11:01 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 2218 Jun 8 2007 miniforth3.lua -rw-r--r-- 1 edrx edrx 3134 Jul 25 11:01 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 11882 Jun 16 2007 miniforth4.lua -rw-r--r-- 1 edrx edrx 13212 Jul 25 11:01 miniforth4.lua.html -rw-r--r-- 1 edrx edrx 21903 Jul 2 2007 miniforth5.lua -rw-r--r-- 1 edrx edrx 23722 Jul 25 11:01 miniforth5.lua.html -rw-r--r-- 1 edrx edrx 9141 Jul 2 2007 miniforth5.out -rw-r--r-- 1 edrx edrx 9632 Jul 25 11:01 miniforth5.out.html -rw-r--r-- 2 edrx edrx 162475 Mar 12 10:06 miniforths-1-traced.eps -rw-r--r-- 2 edrx edrx 14740 Mar 12 10:06 miniforths-1.eps -rw-r--r-- 2 edrx edrx 28859 Mar 12 10:06 miniforths-1.svg -rw-r--r-- 2 edrx edrx 83598 Mar 12 10:07 miniforths-2-traced.eps -rw-r--r-- 2 edrx edrx 7196 Mar 12 10:07 miniforths-2.eps -rw-r--r-- 2 edrx edrx 14424 Mar 12 10:07 miniforths-2.svg -rw-r--r-- 2 edrx edrx 79164 Mar 12 10:07 miniforths-3-traced.eps -rw-r--r-- 2 edrx edrx 7988 Mar 12 10:07 miniforths-3.eps -rw-r--r-- 2 edrx edrx 16112 Mar 12 10:07 miniforths-3.svg -rw-r--r-- 2 edrx edrx 56938 Mar 12 10:07 miniforths-4-traced.eps -rw-r--r-- 2 edrx edrx 4837 Mar 12 10:07 miniforths-4.eps -rw-r--r-- 2 edrx edrx 12435 Mar 12 10:07 miniforths-4.svg -rw-r--r-- 2 edrx edrx 63738 Mar 12 10:07 miniforths-comparison.svg -rw-r--r-- 2 edrx edrx 75913 Mar 12 10:07 miniforths-comparison2.svg -rwxr-xr-x 1 edrx edrx 36 Dec 2 2004 mylua* -rw-r--r-- 1 edrx edrx 412 Jul 25 11:01 mylua.html -rw-r--r-- 1 edrx edrx 138 Dec 2 2004 test1.mflua -rw-r--r-- 1 edrx edrx 610 Jul 25 11:01 test1.mflua.html -rw-r--r-- 1 edrx edrx 161 Dec 2 2004 test2.mflua -rw-r--r-- 1 edrx edrx 633 Jul 25 11:01 test2.mflua.html -rw-r--r-- 1 edrx edrx 2972 Dec 2 2004 yoneda.mflua -rw-r--r-- 1 edrx edrx 3677 Jul 25 11:01 yoneda.mflua.html