Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
[packages/hoopl.git] / paper /
drwxr-xr-x   ..
-rw-r--r-- 339 .gitignore
-rw-r--r-- 1237 Makefile
-rw-r--r-- 6322 NOTES
-rw-r--r-- 1563 Rew.hs
-rw-r--r-- 865 TODO
-rw-r--r-- 203 bbl.dias.mk
-rw-r--r-- 74 bbl.nr.mk
-rw-r--r-- 87 bbl.simonpj.mk
-rw-r--r-- 27 bitly.dias.mk
-rw-r--r-- 104 bitly.nr.mk
-rw-r--r-- 27 bitly.simonpj.mk
-rw-r--r-- 2584 code.sty
-rwxr-xr-x 12807 defuse
-rw-r--r-- 12925 dfopt.bib
-rw-r--r-- 151174 dfopt.tex
lrwxrwxrwx 8 dom.eps -> dom.epsi
-rw-r--r-- 10147 haskell-reviews.txt
-rw-r--r-- 295 hsprelude
-rw-r--r-- 3609 icfp2010response.txt
-rw-r--r-- 33905 icfp2010reviews.html
-rw-r--r-- 406 latex.mk
-rw-r--r-- 1957 mkfile
-rw-r--r-- 1620 notes-relatedwork
-rw-r--r-- 14873 old-implementation-sections.tex
-rw-r--r-- 20999 onepage.tex
-rw-r--r-- 4655 proto-response.txt
-rw-r--r-- 1005 spell.mk
-rwxr-xr-x 1912 xsource