From 7b4c7b75be351e9b6a40093cbccab728dd89064f Mon Sep 17 00:00:00 2001 From: Brian Wignall Date: Fri, 8 Nov 2019 16:21:03 -0500 Subject: Fix typos --- docs/opt-coercion/code.sty | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'docs/opt-coercion') diff --git a/docs/opt-coercion/code.sty b/docs/opt-coercion/code.sty index fe5b38c35c..e5abaaf424 100644 --- a/docs/opt-coercion/code.sty +++ b/docs/opt-coercion/code.sty @@ -4,22 +4,22 @@ % you write "\makeatactive". From then on, inline code is written as @\x % -> x_1 & y@. The only difference with what you are used to, is that % instead of -% +% % @ % foo :: Int -> Int % foo = \n -> n+1 % @ -% +% % you have to write -% +% % \begin{code} % foo :: Int -> Int % foo = \n -> n+1 % \end{code} -% -% and that you cannot use @ in \section{} and \caption{}. For the paper that occured twice, in which case I had to replace @...@ b y \texttt{...}. -% -% +% +% and that you cannot use @ in \section{} and \caption{}. For the paper that occurred twice, in which case I had to replace @...@ b y \texttt{...}. +% +% % code.sty --- nice verbatim mode for code % To get '@' use \verb+@+ -- cgit v1.2.1