mirror of
https://github.com/sdiehl/write-you-a-haskell.git
synced 2024-09-11 19:47:31 +03:00
20 lines
668 B
Plaintext
20 lines
668 B
Plaintext
<div style="display:none">
|
|
$$
|
|
\newcommand{\andalso}{\quad\quad}
|
|
\newcommand{\infabbrev}[2]{\infax{#1 \quad\eqdef\quad #2}}
|
|
\newcommand{\infrule}[2]{\dfrac{#1}{#2}}
|
|
\newcommand{\ar}{\rightarrow}
|
|
\newcommand{\Int}{\mathtt{Int}}
|
|
\newcommand{\Bool}{\mathtt{Bool}}
|
|
\newcommand{\becomes}{\Downarrow}
|
|
\newcommand{\trule}[1]{(\textbf{#1})}
|
|
\newcommand{\FV}[1]{\mathtt{fv}(#1)}
|
|
\newcommand{\FTV}[1]{\mathtt{ftv}(#1)}
|
|
\newcommand{\BV}[1]{\mathtt{bv}(#1)}
|
|
\newcommand{\compiles}[1]{\text{C}\llbracket{#1}\rrbracket}
|
|
\newcommand{\exec}[1]{\text{E}\llbracket{#1}\rrbracket}
|
|
\newcommand{\t}[1]{\mathtt{#1}}
|
|
\newcommand{\ite}[3]{\text{if }#1\text{ then }#2\text{ else }#3}
|
|
$$
|
|
</div>
|