drwxr-xr-x   3 edrx edrx       4096 Jun 24  2010 ./
drwxr-xr-x 309 edrx edrx      36864 Jul  9 01:49 ../
-rw-r--r--   1 edrx edrx       5206 Feb 21  2020 TECHREP
-rw-r--r--   1 edrx edrx       5871 Jul  9 01:48 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 Jul  9 01:48 crim/
-rw-r--r--   1 edrx edrx       1063 Feb 21  2020 cube1.mflua
-rw-r--r--   1 edrx edrx       1641 Jul  9 01:48 cube1.mflua.html
-rw-r--r--   1 edrx edrx       4076 Feb 21  2020 lcode.e
-rw-r--r--   1 edrx edrx       5184 Jul  9 01:48 lcode.e.html
-rw-r--r--   1 edrx edrx       1142 Feb 21  2020 macro1.lua
-rw-r--r--   1 edrx edrx       1634 Jul  9 01:48 macro1.lua.html
-rw-r--r--   1 edrx edrx       1363 Feb 21  2020 macro2.lua
-rw-r--r--   1 edrx edrx       1855 Jul  9 01:48 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 Jul  9 01:48 miniforth1.lua.html
-rw-r--r--   1 edrx edrx       1901 Feb 21  2020 miniforth2.lua
-rw-r--r--   1 edrx edrx       2692 Jul  9 01:48 miniforth2.lua.html
-rw-r--r--   1 edrx edrx       1763 Feb 21  2020 miniforth3.abs.txt
-rw-r--r--   1 edrx edrx       2397 Jul  9 01:48 miniforth3.abs.txt.html
-rw-r--r--   1 edrx edrx       2218 Feb 21  2020 miniforth3.lua
-rw-r--r--   1 edrx edrx       2972 Jul  9 01:48 miniforth3.lua.html
-rw-r--r--   1 edrx edrx      11882 Feb 21  2020 miniforth4.lua
-rw-r--r--   1 edrx edrx      13322 Jul  9 01:48 miniforth4.lua.html
-rw-r--r--   1 edrx edrx      21903 Feb 21  2020 miniforth5.lua
-rw-r--r--   1 edrx edrx      24171 Jul  9 01:48 miniforth5.lua.html
-rw-r--r--   1 edrx edrx       9141 Feb 21  2020 miniforth5.out
-rw-r--r--   1 edrx edrx       9738 Jul  9 01:48 miniforth5.out.html
-rw-r--r--   1 edrx edrx      31206 Feb 21  2020 miniforth6.lua
-rw-r--r--   1 edrx edrx      42133 Jul  9 01:48 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 Jul  9 01:48 mylua.html
-rw-r--r--   1 edrx edrx        138 Feb 21  2020 test1.mflua
-rw-r--r--   1 edrx edrx        716 Jul  9 01:48 test1.mflua.html
-rw-r--r--   1 edrx edrx        161 Feb 21  2020 test2.mflua
-rw-r--r--   1 edrx edrx        739 Jul  9 01:48 test2.mflua.html
-rw-r--r--   1 edrx edrx       2972 Feb 21  2020 yoneda.mflua
-rw-r--r--   1 edrx edrx       3818 Jul  9 01:48 yoneda.mflua.html