mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-30 23:45:23 +03:00
Fix some index entry names in the book.
This commit is contained in:
parent
e55436eaa7
commit
951eacc8ff
@ -114,9 +114,9 @@
|
||||
\newcommand{\indFunApp}{\index{function application}\xspace}
|
||||
\newcommand{\indWhere}{\index{where clause}\xspace}
|
||||
\newcommand{\indTypSynonym}{\index{type synonym}\xspace}
|
||||
\newcommand{\indTSWord}{\index{type synonym!Word}\xspace}
|
||||
\newcommand{\indTSString}{\index{type synonym!String}\xspace}
|
||||
\newcommand{\indTSBool}{\index{type synonym!Bool}\xspace}
|
||||
\newcommand{\indTSWord}{\index{type synonym!Word@\texttt{Word}}\xspace}
|
||||
\newcommand{\indTSString}{\index{type synonym!String@\texttt{String}}\xspace}
|
||||
\newcommand{\indTSBool}{\index{type synonym!Bool@\texttt{Bool}}\xspace}
|
||||
|
||||
% constants-functions
|
||||
\newcommand{\indTrue}{\index{True@\texttt{True}}\xspace}
|
||||
@ -126,7 +126,7 @@
|
||||
\newcommand{\indDrop}{\index{drop@\texttt{drop}}\xspace}
|
||||
\newcommand{\indJoin}{\index{join@\texttt{join}}\xspace}
|
||||
\newcommand{\indSplit}{\index{split@\texttt{split}}\xspace}
|
||||
\newcommand{\indGroup}{\index{group@\texttt{group}}\xspace}
|
||||
\newcommand{\indGroup}{\index{group@\texttt{groupBy}}\xspace}
|
||||
\newcommand{\indTranspose}{\index{transpose@\texttt{transpose}}\xspace}
|
||||
\newcommand{\indTupleProj}{\index{project@\texttt{project}}\xspace}
|
||||
\newcommand{\indLg}{\index{lg2@\texttt{lg2}}\xspace}
|
||||
|
Loading…
Reference in New Issue
Block a user