drwxr-xr-x 3 edrx edrx 4096 Jun 24 2010 ./ drwxr-xr-x 214 edrx edrx 32768 Oct 20 00:33 ../ -rw-r--r-- 1 edrx edrx 5206 Apr 14 2014 TECHREP -rw-r--r-- 1 edrx edrx 5720 Oct 20 00:33 TECHREP.html -rw-r--r-- 2 edrx www-data 33719 Jun 19 2007 bytecodediag_1.png -rw-r--r-- 2 edrx www-data 33845 Jun 19 2007 bytecodediag_2.png -rw-r--r-- 2 edrx www-data 26464 Jun 23 2007 bytecodediag_3.png -rw-r--r-- 2 edrx www-data 25078 Jun 23 2007 bytecodediag_4.png drwxr-xr-x 2 edrx edrx 4096 Oct 20 00:33 crim/ -rw-r--r-- 1 edrx edrx 1063 Apr 14 2014 cube1.mflua -rw-r--r-- 1 edrx edrx 1522 Oct 20 00:33 cube1.mflua.html -rw-r--r-- 1 edrx edrx 4076 Apr 14 2014 lcode.e -rw-r--r-- 1 edrx edrx 5336 Oct 20 00:33 lcode.e.html -rw-r--r-- 1 edrx edrx 1142 Apr 14 2014 macro1.lua -rw-r--r-- 1 edrx edrx 1515 Oct 20 00:33 macro1.lua.html -rw-r--r-- 1 edrx edrx 1363 Apr 14 2014 macro2.lua -rw-r--r-- 1 edrx edrx 1736 Oct 20 00:33 macro2.lua.html -rw-r--r-- 2 edrx www-data 164415 Jun 24 2010 miniforth-article.pdf -rw-r--r-- 1 edrx edrx 1072 Apr 14 2014 miniforth1.lua -rw-r--r-- 1 edrx edrx 1453 Oct 20 00:33 miniforth1.lua.html -rw-r--r-- 1 edrx edrx 1901 Apr 14 2014 miniforth2.lua -rw-r--r-- 1 edrx edrx 2453 Oct 20 00:33 miniforth2.lua.html -rw-r--r-- 1 edrx edrx 1763 Apr 14 2014 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2278 Oct 20 00:33 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 2218 Apr 14 2014 miniforth3.lua -rw-r--r-- 1 edrx edrx 3144 Oct 20 00:33 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 11882 Apr 14 2014 miniforth4.lua -rw-r--r-- 1 edrx edrx 13390 Oct 20 00:33 miniforth4.lua.html -rw-r--r-- 1 edrx edrx 21903 Apr 14 2014 miniforth5.lua -rw-r--r-- 1 edrx edrx 23732 Oct 20 00:33 miniforth5.lua.html -rw-r--r-- 1 edrx edrx 9141 Apr 14 2014 miniforth5.out -rw-r--r-- 1 edrx edrx 9619 Oct 20 00:33 miniforth5.out.html -rw-r--r-- 1 edrx edrx 31206 Sep 15 14:54 miniforth6.lua -rw-r--r-- 1 edrx edrx 41975 Oct 20 00:33 miniforth6.lua.html -rw-r--r-- 2 edrx www-data 162475 Mar 12 2008 miniforths-1-traced.eps -rw-r--r-- 2 edrx www-data 14740 Mar 12 2008 miniforths-1.eps -rw-r--r-- 2 edrx www-data 28859 Mar 12 2008 miniforths-1.svg -rw-r--r-- 2 edrx www-data 83598 Mar 12 2008 miniforths-2-traced.eps -rw-r--r-- 2 edrx www-data 7196 Mar 12 2008 miniforths-2.eps -rw-r--r-- 2 edrx www-data 14424 Mar 12 2008 miniforths-2.svg -rw-r--r-- 2 edrx www-data 79164 Mar 12 2008 miniforths-3-traced.eps -rw-r--r-- 2 edrx www-data 7988 Mar 12 2008 miniforths-3.eps -rw-r--r-- 2 edrx www-data 16112 Mar 12 2008 miniforths-3.svg -rw-r--r-- 2 edrx www-data 56938 Mar 12 2008 miniforths-4-traced.eps -rw-r--r-- 2 edrx www-data 4837 Mar 12 2008 miniforths-4.eps -rw-r--r-- 2 edrx www-data 12435 Mar 12 2008 miniforths-4.svg -rw-r--r-- 2 edrx www-data 63738 Mar 12 2008 miniforths-comparison.svg -rw-r--r-- 2 edrx www-data 75913 Mar 12 2008 miniforths-comparison2.svg -rwxr-xr-x 1 edrx edrx 36 Apr 14 2014 mylua* -rw-r--r-- 1 edrx edrx 399 Oct 20 00:33 mylua.html -rw-r--r-- 1 edrx edrx 138 Apr 14 2014 test1.mflua -rw-r--r-- 1 edrx edrx 597 Oct 20 00:33 test1.mflua.html -rw-r--r-- 1 edrx edrx 161 Apr 14 2014 test2.mflua -rw-r--r-- 1 edrx edrx 620 Oct 20 00:33 test2.mflua.html -rw-r--r-- 1 edrx edrx 2972 Apr 14 2014 yoneda.mflua -rw-r--r-- 1 edrx edrx 3667 Oct 20 00:33 yoneda.mflua.html