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