interp.lhs
semantics.pdf
semantics.tex