drwxr-xr-x   3 edrx edrx       4096 Jun 24  2010 ./
drwxr-xr-x 288 edrx edrx      36864 Mar 28 12:21 ../
-rw-r--r--   1 edrx edrx       5206 Feb 21  2020 TECHREP
-rw-r--r--   1 edrx edrx       5871 Mar 28 12:20 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 Mar 28 12:20 crim/
-rw-r--r--   1 edrx edrx       1063 Feb 21  2020 cube1.mflua
-rw-r--r--   1 edrx edrx       1641 Mar 28 12:20 cube1.mflua.html
-rw-r--r--   1 edrx edrx       4076 Feb 21  2020 lcode.e
-rw-r--r--   1 edrx edrx       5184 Mar 28 12:20 lcode.e.html
-rw-r--r--   1 edrx edrx       1142 Feb 21  2020 macro1.lua
-rw-r--r--   1 edrx edrx       1634 Mar 28 12:20 macro1.lua.html
-rw-r--r--   1 edrx edrx       1363 Feb 21  2020 macro2.lua
-rw-r--r--   1 edrx edrx       1855 Mar 28 12:20 macro2.lua.html
-rw-r--r--   2 edrx www-data 164415 Jun 24  2010 miniforth-article.pdf
-rw-r--r--   1 edrx edrx       1072 Feb 21  2020 miniforth1.lua
-rw-r--r--   1 edrx edrx       1572 Mar 28 12:20 miniforth1.lua.html
-rw-r--r--   1 edrx edrx       1901 Feb 21  2020 miniforth2.lua
-rw-r--r--   1 edrx edrx       2692 Mar 28 12:20 miniforth2.lua.html
-rw-r--r--   1 edrx edrx       1763 Feb 21  2020 miniforth3.abs.txt
-rw-r--r--   1 edrx edrx       2397 Mar 28 12:20 miniforth3.abs.txt.html
-rw-r--r--   1 edrx edrx       2218 Feb 21  2020 miniforth3.lua
-rw-r--r--   1 edrx edrx       2972 Mar 28 12:20 miniforth3.lua.html
-rw-r--r--   1 edrx edrx      11882 Feb 21  2020 miniforth4.lua
-rw-r--r--   1 edrx edrx      13322 Mar 28 12:20 miniforth4.lua.html
-rw-r--r--   1 edrx edrx      21903 Feb 21  2020 miniforth5.lua
-rw-r--r--   1 edrx edrx      24171 Mar 28 12:20 miniforth5.lua.html
-rw-r--r--   1 edrx edrx       9141 Feb 21  2020 miniforth5.out
-rw-r--r--   1 edrx edrx       9738 Mar 28 12:20 miniforth5.out.html
-rw-r--r--   1 edrx edrx      31206 Feb 21  2020 miniforth6.lua
-rw-r--r--   1 edrx edrx      42133 Mar 28 12:20 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 Feb 21  2020 mylua*
-rw-r--r--   1 edrx edrx        518 Mar 28 12:20 mylua.html
-rw-r--r--   1 edrx edrx        138 Feb 21  2020 test1.mflua
-rw-r--r--   1 edrx edrx        716 Mar 28 12:20 test1.mflua.html
-rw-r--r--   1 edrx edrx        161 Feb 21  2020 test2.mflua
-rw-r--r--   1 edrx edrx        739 Mar 28 12:20 test2.mflua.html
-rw-r--r--   1 edrx edrx       2972 Feb 21  2020 yoneda.mflua
-rw-r--r--   1 edrx edrx       3818 Mar 28 12:20 yoneda.mflua.html