Small changes to primitive encoding

IntersectMBO · Jan 26, 2021 · 7084368 · 7084368
1 parent bda646f
commit 7084368
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plutus-core-spec/plutus-core-specification.tex b/plutus-core-spec/plutus-core-specification.tex
@@ -1493,7 +1493,7 @@ \subsection{Untyped terms}
 
 \vspace{1cm}
 
-\noindent Encoding primtive types:
+\noindent Encoding primtive values:
 
 \begin{itemize}
   \item Unsigned \texttt{Integer}s and \texttt{ByteString}s are encoded using the