Commit a924debc authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

fix a mistyped label that caused a stray reference

Richard, you may want to regenerate the PDF
as I get

! LaTeX Error: File `stmaryrd.sty' not found.

with my setup and do not want to mess things up.

Also for me ?? appear twice on top of the page 13
and I have tp 'rm core-spec.pdf; make' to get it
right.
parent cc29b465
......@@ -185,7 +185,7 @@ Axiom rules, produced by the type-nats solver:
\gram{\ottmu}
\label{sec:axiom_rule}
\label{sec:axiom_rules}
An axiom rule $[[mu]] = [[M(I, role_list, R')]]$ is an axiom name $[[M]]$, with a
type arity $[[I]]$, a list of roles $[[role_list]]$ for its coercion parameters,
and an output role $[[R']]$. The definition within GHC also includes a field named
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment