project.ruler.papers - Revision 354: /hs2009-defer
..
Makefile
ariem-ruler-hs2009.pdf
mathpartir.sty
paper.lhs
referee-comments.txt
references.bib
sigplanconf.cls