squiggle/spec/src/main.tex
2022-03-30 12:00:47 -04:00

31 lines
726 B
TeX

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{syntax}
\setlength{\grammarparsep}{2ex plus 0.1ex minus 0.05ex}
% \usepackage[T1]{fontenc}
% \usepackage{bussproofs}
\usepackage{amsfonts}
\usepackage{subfiles}
\usepackage{datetime}
\usepackage{hyperref}
\hypersetup{colorlinks=true, citecolor=blue}
\usepackage[backend=biber, hyperref=true, citestyle=authoryear]{biblatex}
\addbibresource{biblio.bib}
\title{Squiggle $\alpha$-v0.1 Specification (INTERNAL)}
\author{Quinn Dougherty - \texttt{quinn@quantifieduncertainty.org}}
\date{This render: \today}
\begin{document}
\maketitle{}
\nocite{*}
\subfile{introduction}
\subfile{syntax}
\subfile{semantics}
\subfile{appendix}
\printbibliography
\end{document}