idris-mult-paper/_region_.tex at master · wizard7377/idris-mult-paper · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
\message{ !name(../main.tex)}% !TeX TS-program = pdflatex

%\documentclass[natbib=false,nonacm=true,acmsmall]{acmart}
%\documentclass[natbib=false,nonacm=true,acmsmall]{acmart}
\documentclass[authordraft=true,review=true,nonacm=true,natbib=false,acmsmall]{acmart}

\usepackage{todonotes}
%\usepackage[disable=true]{todonotes}
\input{preamble.tex}

\usepackage{macros}
\begin{document}

\message{ !name(src/omega.tex) !offset(42) }
\begin{figure}
    \begin{align}
        \label{eq:free_omega_def}
        \code{OmegaVal} \colon \fa*<1>[l]{\code{List} \nat} \fn*<1>{
        \fa*<1>[n]{\nat}
        \afa*<0>{n \in_{\code{List}} l}
        \tm{n}{t}{w}
        }
        &\tw*{
        \left(
        \code{FVal} l
        \right)}{t}{w}
                            \\
        \code{OmegaVar} \colon \fn*<1>{
        \fa*<1>[n]{\nat}
        \tm{n}{t}{w}
        }
        &\tw*{\code{FVar}}{t}{w}
        \\
        \code{OmegaAdd} \colon
        \fn<1>{\tw*{p}{t}{w}}
        \fn<1>{\tw*{q}{t}{w}}
        & \tw*{\fadd*{p}{q}}{t}{w}
        \\
      \code{OmegaMul} \colon \fn*<1>{
      \tw{q}{\twprime*{p}{t}{w}}{\_}
      }&\tw*{\fmul*{p}{q}}{t}{w}
    \end{align}
  \end{figure}
\message{ !name(../main.tex) !offset(-16) }

\end{document}


%%% Local Variables:
%%% mode: LaTeX
%%% TeX-master: t
%%% End: