project.ruler.papers - Revision 354: /hosc-gadt
..
Makefile
Rules.rul
algorithm.lhs
appendices.lhs
build/
conclusion.lhs
format.lhs
gadt-paper.bib
gadt-paper.lhs
implementation.lhs
introduction.lhs
mainsty.sty
mathpartir.sty
motivation.lhs
related-work.lhs
scratch.lhs
svglov3.clo
svjour3.cls
translation.lhs
typesystem.lhs