diff options
Diffstat (limited to 'sec/encoding.ltx')
| -rw-r--r-- | sec/encoding.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sec/encoding.ltx b/sec/encoding.ltx index 76bd922..4d1ce74 100644 --- a/sec/encoding.ltx +++ b/sec/encoding.ltx @@ -17,7 +17,7 @@ of seven phases are: \item encoding lists using eliminators. \item introducing unions to encode sums as a tagged union. \item encoding products as an indexed union. -\item encoding unnions of System~T types. +\item encoding unions of System~T types. \item removing syntactic sugar we introduced, such as the \arb{} operator that represents an arbitrary value of a given type. \end{enumerate} |