diff options
author | Brian Wignall <brianwignall@gmail.com> | 2019-11-08 16:21:03 -0500 |
---|---|---|
committer | Brian Wignall <brianwignall@gmail.com> | 2019-11-23 19:04:52 -0500 |
commit | 7b4c7b75be351e9b6a40093cbccab728dd89064f (patch) | |
tree | 01126ac3823a1f1b197ac1865d7bc628eb4676a5 /docs/opt-coercion | |
parent | c14b723f7fa24b4db0b561f9ab0d6e0f4261fd2f (diff) | |
download | haskell-7b4c7b75be351e9b6a40093cbccab728dd89064f.tar.gz |
Fix typos
Diffstat (limited to 'docs/opt-coercion')
-rw-r--r-- | docs/opt-coercion/code.sty | 14 |
1 files changed, 7 insertions, 7 deletions
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+@+ |