diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-01-12 03:26:33 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-01-12 03:26:33 +0100 |
| commit | a924debcbb3dc5c004f988fcc1b480a01ba276dd (patch) | |
| tree | d12e1d7e7c2696206cde34bddb6d0127b82160ef /docs | |
| parent | cc29b4659664a659299ac65dac7d54e827fe6544 (diff) | |
| download | haskell-a924debcbb3dc5c004f988fcc1b480a01ba276dd.tar.gz | |
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.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index e726602397..4e134e0854 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -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 |