Commit 9f58ceca authored by Jan Stolarek's avatar Jan Stolarek

Fix glitch in core-spec pdf

parent 24669fe3
......@@ -75,7 +75,9 @@ We also leave abstract the function \coderef{basicTypes/Literal.lhs}{literalType
and the judgment \coderef{coreSyn/CoreLint.lhs}{lintTyLit} (written $[[G |-tylit lit : k]]$).
\enlargethispage{10pt} % without this first line of "z" definition is placed on
% second page and it becomes the only line of text on that
% page, resulting in whole page being empty.
GHC uses the same datatype to represent term-level variables and type-level
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment