Update type of take in book

GaloisInc · Sep 10, 2024 · b7363dd · b7363dd
1 parent c73d1d8
commit b7363dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/ProgrammingCryptol/prims/Primitives.tex b/docs/ProgrammingCryptol/prims/Primitives.tex
@@ -53,7 +53,7 @@ \chapter{Cryptol prelude functions}
 \end{Verbatim}
 \paragraph*{Sequences}
 \begin{Verbatim}
-    take      : {front, back, a} (fin front) => [front + back]a -> [front]a
+    take      : {front, back, a} => [front + back]a -> [front]a
     drop      : {front, back, a} (fin front) => [front + back]a -> [back]a
     #         : {front, back, a} (fin front) => [front]a -> [back]a -> [front + back]a
     join      : {parts, each, a} (fin each) => [parts][each]a -> [parts * each]a
@@ -166,7 +166,7 @@ \chapter{Cryptol prelude functions}
 %    scarry : {n} (fin n, n >= 1) => [n] -> [n] -> Bit
 %    sborrow : {n} (fin n, n >= 1) => [n] -> [n] -> Bit
 
-%%% Local Variables: 
+%%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "../main/Cryptol"
-%%% End: 
+%%% End: