Skip to content
Snippets Groups Projects
Commit d243bf26 authored by Richard Eisenberg's avatar Richard Eisenberg
Browse files

Typos

parent 53952fcb
Branches master
No related tags found
No related merge requests found
......@@ -116,7 +116,7 @@ signature, if any. Note that \rref{FL-ResSig} brings variables in a result signa
in the right-hand side.
\drules[E]{$[[G |-E e : t]]$}{Expressions}{VarCon,Eq,App,Abs,TyApp,TyAbs,Case,Let}
\drules[inst]{$[[G |-inst e : c ~> t]]$}{Instantiation}{TyVar,Constraint,Mono}
\drules[Inst]{$[[G |-inst e : c ~> t]]$}{Instantiation}{TyVar,Constraint,Mono}
Expressions are mostly standard. Note that the judgment
results in a $[[c]]$-type: this is to support visible
......
......@@ -114,7 +114,7 @@ G' |-E e : t
G |-E let decls in e : t
defn
G |-inst e : c ~> t :: :: Inst :: 'Inst_' {{ com Instatiation }}
G |-inst e : c ~> t :: :: Inst :: 'Inst_' {{ com Instantiation }}
{{ tex [[G]] \ent{inst} [[e]] : [[c]] \leadsto [[t]] }}
by
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment