Skip to content
Snippets Groups Projects
Select Git revision
  • eafa7faff96b648262b8b5f7914cf9de6e8a24d3
  • master default
2 results

macros.tex

Blame
    • macros.tex 746 B 
    \renewcommand{\bnf}[1]{{\color{red}#1}}
\newcommand{\type}{\mathtt{type}}
\newcommand{\kind}{\mathtt{kind}}
\newcommand{\self}{\mathtt{self}}
\newcommand{\judg}[2]{#1 \vdash #2}
\newcommand{\gjudg}[1]{\judg\Gamma{#1}}
\newcommand{\tjudg}[2]{\judg{\Theta;#1}{#2}}
\newcommand{\tgjudg}[1]{\tjudg{\Gamma}{#1}}
\newcommand{\hastype}[2]{ #1 : #2 }
\newcommand{\judgeq}[3]{ #1 \equiv #2:#3}
\newcommand{\judgeqc}[2]{ #1 \rewrites #2}
\newcommand{\oma}[2]{\ensuremath{#1\left(#2\right)}}
\newcommand{\ombind}[3]{\ensuremath{#1\left[#2\right]\left(#3\right)}}

\newcommand{\incl}[1]{\mathtt{include}\,#1}
\newcommand{\gray}[1]{{\color{gray}#1}}
\newcommand{\red}[1]{{\color{red}#1}}

\newcommand{\cn}[1]{\ensuremath{\mathtt{#1}}}
\def\defemph{\textbf}