drwxr-xr-x 3 edrx edrx 4096 Jun 24 2010 ./ drwxr-xr-x 306 edrx edrx 36864 Nov 21 05:07 ../ -rw-r--r-- 1 edrx edrx 5206 Feb 22 2020 TECHREP -rw-r--r-- 1 edrx edrx 5871 Nov 21 05:07 TECHREP.html -rw-r--r-- 2 edrx edrx 33719 Jun 20 2007 bytecodediag_1.png -rw-r--r-- 2 edrx edrx 33845 Jun 20 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 Nov 21 05:07 crim/ -rw-r--r-- 1 edrx edrx 1063 Feb 22 2020 cube1.mflua -rw-r--r-- 1 edrx edrx 1641 Nov 21 05:07 cube1.mflua.html -rw-r--r-- 1 edrx edrx 4076 Feb 22 2020 lcode.e -rw-r--r-- 1 edrx edrx 5184 Nov 21 05:07 lcode.e.html -rw-r--r-- 1 edrx edrx 1142 Feb 22 2020 macro1.lua -rw-r--r-- 1 edrx edrx 1634 Nov 21 05:07 macro1.lua.html -rw-r--r-- 1 edrx edrx 1363 Feb 22 2020 macro2.lua -rw-r--r-- 1 edrx edrx 1855 Nov 21 05:07 macro2.lua.html -rw-r--r-- 2 edrx edrx 164415 Jun 24 2010 miniforth-article.pdf -rw-r--r-- 1 edrx edrx 1072 Feb 22 2020 miniforth1.lua -rw-r--r-- 1 edrx edrx 1572 Nov 21 05:07 miniforth1.lua.html -rw-r--r-- 1 edrx edrx 1901 Feb 22 2020 miniforth2.lua -rw-r--r-- 1 edrx edrx 2692 Nov 21 05:07 miniforth2.lua.html -rw-r--r-- 1 edrx edrx 1763 Feb 22 2020 miniforth3.abs.txt -rw-r--r-- 1 edrx edrx 2397 Nov 21 05:07 miniforth3.abs.txt.html -rw-r--r-- 1 edrx edrx 2218 Feb 22 2020 miniforth3.lua -rw-r--r-- 1 edrx edrx 2972 Nov 21 05:07 miniforth3.lua.html -rw-r--r-- 1 edrx edrx 11882 Feb 22 2020 miniforth4.lua -rw-r--r-- 1 edrx edrx 13322 Nov 21 05:07 miniforth4.lua.html -rw-r--r-- 1 edrx edrx 21903 Feb 22 2020 miniforth5.lua -rw-r--r-- 1 edrx edrx 24171 Nov 21 05:07 miniforth5.lua.html -rw-r--r-- 1 edrx edrx 9141 Feb 22 2020 miniforth5.out -rw-r--r-- 1 edrx edrx 9738 Nov 21 05:07 miniforth5.out.html -rw-r--r-- 1 edrx edrx 31206 Feb 22 2020 miniforth6.lua -rw-r--r-- 1 edrx edrx 42133 Nov 21 05:07 miniforth6.lua.html -rw-r--r-- 2 edrx edrx 162475 Mar 12 2008 miniforths-1-traced.eps -rw-r--r-- 2 edrx edrx 14740 Mar 12 2008 miniforths-1.eps -rw-r--r-- 2 edrx edrx 28859 Mar 12 2008 miniforths-1.svg -rw-r--r-- 2 edrx edrx 83598 Mar 12 2008 miniforths-2-traced.eps -rw-r--r-- 2 edrx edrx 7196 Mar 12 2008 miniforths-2.eps -rw-r--r-- 2 edrx edrx 14424 Mar 12 2008 miniforths-2.svg -rw-r--r-- 2 edrx edrx 79164 Mar 12 2008 miniforths-3-traced.eps -rw-r--r-- 2 edrx edrx 7988 Mar 12 2008 miniforths-3.eps -rw-r--r-- 2 edrx edrx 16112 Mar 12 2008 miniforths-3.svg -rw-r--r-- 2 edrx edrx 56938 Mar 12 2008 miniforths-4-traced.eps -rw-r--r-- 2 edrx edrx 4837 Mar 12 2008 miniforths-4.eps -rw-r--r-- 2 edrx edrx 12435 Mar 12 2008 miniforths-4.svg -rw-r--r-- 2 edrx edrx 63738 Mar 12 2008 miniforths-comparison.svg -rw-r--r-- 2 edrx edrx 75913 Mar 12 2008 miniforths-comparison2.svg -rwxr-xr-x 1 edrx edrx 36 Feb 22 2020 mylua* -rw-r--r-- 1 edrx edrx 518 Nov 21 05:07 mylua.html -rw-r--r-- 1 edrx edrx 138 Feb 22 2020 test1.mflua -rw-r--r-- 1 edrx edrx 716 Nov 21 05:07 test1.mflua.html -rw-r--r-- 1 edrx edrx 161 Feb 22 2020 test2.mflua -rw-r--r-- 1 edrx edrx 739 Nov 21 05:07 test2.mflua.html -rw-r--r-- 1 edrx edrx 2972 Feb 22 2020 yoneda.mflua -rw-r--r-- 1 edrx edrx 3818 Nov 21 05:07 yoneda.mflua.html