drwxr-xr-x   3 edrx edrx       4096 Jun 24  2010 ./
drwxr-xr-x 225 edrx edrx      36864 Mar 23 02:55 ../
-rw-r--r--   1 edrx edrx       5206 Feb 21  2020 TECHREP
-rw-r--r--   1 edrx edrx       5708 Mar 23 02:55 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 23 02:55 crim/
-rw-r--r--   1 edrx edrx       1063 Feb 21  2020 cube1.mflua
-rw-r--r--   1 edrx edrx       1510 Mar 23 02:55 cube1.mflua.html
-rw-r--r--   1 edrx edrx       4076 Feb 21  2020 lcode.e
-rw-r--r--   1 edrx edrx       5184 Mar 23 02:55 lcode.e.html
-rw-r--r--   1 edrx edrx       1142 Feb 21  2020 macro1.lua
-rw-r--r--   1 edrx edrx       1503 Mar 23 02:55 macro1.lua.html
-rw-r--r--   1 edrx edrx       1363 Feb 21  2020 macro2.lua
-rw-r--r--   1 edrx edrx       1724 Mar 23 02:55 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       1441 Mar 23 02:55 miniforth1.lua.html
-rw-r--r--   1 edrx edrx       1901 Feb 21  2020 miniforth2.lua
-rw-r--r--   1 edrx edrx       2497 Mar 23 02:55 miniforth2.lua.html
-rw-r--r--   1 edrx edrx       1763 Feb 21  2020 miniforth3.abs.txt
-rw-r--r--   1 edrx edrx       2266 Mar 23 02:55 miniforth3.abs.txt.html
-rw-r--r--   1 edrx edrx       2218 Feb 21  2020 miniforth3.lua
-rw-r--r--   1 edrx edrx       2823 Mar 23 02:55 miniforth3.lua.html
-rw-r--r--   1 edrx edrx      11882 Feb 21  2020 miniforth4.lua
-rw-r--r--   1 edrx edrx      13069 Mar 23 02:55 miniforth4.lua.html
-rw-r--r--   1 edrx edrx      21903 Feb 21  2020 miniforth5.lua
-rw-r--r--   1 edrx edrx      23720 Mar 23 02:55 miniforth5.lua.html
-rw-r--r--   1 edrx edrx       9141 Feb 21  2020 miniforth5.out
-rw-r--r--   1 edrx edrx       9607 Mar 23 02:55 miniforth5.out.html
-rw-r--r--   1 edrx edrx      31206 Feb 21  2020 miniforth6.lua
-rw-r--r--   1 edrx edrx      42081 Mar 23 02:55 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        387 Mar 23 02:55 mylua.html
-rw-r--r--   1 edrx edrx        138 Feb 21  2020 test1.mflua
-rw-r--r--   1 edrx edrx        585 Mar 23 02:55 test1.mflua.html
-rw-r--r--   1 edrx edrx        161 Feb 21  2020 test2.mflua
-rw-r--r--   1 edrx edrx        608 Mar 23 02:55 test2.mflua.html
-rw-r--r--   1 edrx edrx       2972 Feb 21  2020 yoneda.mflua
-rw-r--r--   1 edrx edrx       3655 Mar 23 02:55 yoneda.mflua.html