all: ruler-semantics.pdf

ruler-semantics.pdf: ruler-semantics.tex
	"@TEX@" ruler-semantics.tex

ruler-semantics.tex: ruler-semantics.lhs
	"@LHS@" --poly ruler-semantics.lhs -o ruler-semantics.tex