Mike Gerwitz
8d1c29b4cc
Stacking originally seemed like a good idea, but perhaps this does read a
bit better (and looks more like the composition operation being applied),
and composes a bit better if we needed e.g. \bicomp\bicomp{R}.
It's also less ambiguous when it's over a larger expression. For example,
\bicomp{[A]} places \circ over top of the A, which looks as if it's
[\bicomp{A}]. It's obvious what the intention is in that context, since
\bicomp{A} makes no sense, but there could be other situations where it
doesn't. With this change, it results in {[A]}^\circ.
|
||
|---|---|---|
| .. | ||
| sec | ||
| .gitignore | ||
| .latexmkrc | ||
| Makefile | ||
| README.md | ||
| glossary.tex | ||
| tpl.sty | ||
| tpl.tex | ||
README.md
The TAME Programming Language: Design and Implementation
This is a living document providing a formal definition of the TAME programming language.
Dependencies
See tpl.sty for the specific LaTeX packages that are
needed. If you use a Debian-based system, the following command should be
sufficient to install all necessary dependencies:
$ apt install --no-recommends \
make latexmk \
texlive-latex-extra texlive-fonts-extra texlive-science
Building
Simply run make. The output is tpl.pdf.