add an FAQ file
[packages/hoopl.git] / paper /
drwxr-xr-x   ..
-rw-r--r-- 273 .gitignore
-rw-r--r-- 756 Makefile
-rw-r--r-- 6322 NOTES
-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-- 105 bitly.nr.mk
-rw-r--r-- 27 bitly.simonpj.mk
-rw-r--r-- 2584 code.sty
-rwxr-xr-x 11911 defuse
-rw-r--r-- 8192 dfopt.bib
-rw-r--r-- 117207 dfopt.tex
lrwxrwxrwx 8 dom.eps -> dom.epsi
-rw-r--r-- 265 hsprelude
-rw-r--r-- 406 latex.mk
-rw-r--r-- 1460 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 1149 xsource