drwxr-xr-x   3 edrx edrx       4096 Jun 24  2010 ./
drwxr-xr-x 193 edrx edrx      28672 Nov  6 17:42 ../
-rw-r--r--   1 edrx edrx       5206 Apr 14  2014 TECHREP
-rw-r--r--   1 edrx edrx       5719 Nov  6 17:41 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 Nov  6 17:41 crim/
-rw-r--r--   1 edrx edrx       1063 Apr 14  2014 cube1.mflua
-rw-r--r--   1 edrx edrx       1535 Nov  6 17:41 cube1.mflua.html
-rw-r--r--   1 edrx edrx       4076 Apr 14  2014 lcode.e
-rw-r--r--   1 edrx edrx       5316 Nov  6 17:41 lcode.e.html
-rw-r--r--   1 edrx edrx       1142 Apr 14  2014 macro1.lua
-rw-r--r--   1 edrx edrx       1528 Nov  6 17:41 macro1.lua.html
-rw-r--r--   1 edrx edrx       1363 Apr 14  2014 macro2.lua
-rw-r--r--   1 edrx edrx       1749 Nov  6 17:41 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       1466 Nov  6 17:41 miniforth1.lua.html
-rw-r--r--   1 edrx edrx       1901 Apr 14  2014 miniforth2.lua
-rw-r--r--   1 edrx edrx       2457 Nov  6 17:41 miniforth2.lua.html
-rw-r--r--   1 edrx edrx       1763 Apr 14  2014 miniforth3.abs.txt
-rw-r--r--   1 edrx edrx       2291 Nov  6 17:41 miniforth3.abs.txt.html
-rw-r--r--   1 edrx edrx       2218 Apr 14  2014 miniforth3.lua
-rw-r--r--   1 edrx edrx       3144 Nov  6 17:41 miniforth3.lua.html
-rw-r--r--   1 edrx edrx      11882 Apr 14  2014 miniforth4.lua
-rw-r--r--   1 edrx edrx      13366 Nov  6 17:41 miniforth4.lua.html
-rw-r--r--   1 edrx edrx      21903 Apr 14  2014 miniforth5.lua
-rw-r--r--   1 edrx edrx      23652 Nov  6 17:41 miniforth5.lua.html
-rw-r--r--   1 edrx edrx       9141 Apr 14  2014 miniforth5.out
-rw-r--r--   1 edrx edrx       9632 Nov  6 17:41 miniforth5.out.html
-rw-r--r--   1 edrx edrx      22150 Aug  2  2016 miniforth6.lua
-rw-r--r--   1 edrx edrx      23971 Nov  6 17:41 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        412 Nov  6 17:41 mylua.html
-rw-r--r--   1 edrx edrx        138 Apr 14  2014 test1.mflua
-rw-r--r--   1 edrx edrx        610 Nov  6 17:41 test1.mflua.html
-rw-r--r--   1 edrx edrx        161 Apr 14  2014 test2.mflua
-rw-r--r--   1 edrx edrx        633 Nov  6 17:41 test2.mflua.html
-rw-r--r--   1 edrx edrx       2972 Apr 14  2014 yoneda.mflua
-rw-r--r--   1 edrx edrx       3677 Nov  6 17:41 yoneda.mflua.html