diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 12:00:48 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 12:00:48 +0100 |
| commit | 6ca26199d5b57ebc0c33d1009d8bff8be92142c1 (patch) | |
| tree | d0d09ba3b8e9836bb0e09804e2622fdbcab1be85 /main.tex | |
| parent | c639f719734d4ea6d7f5d2661626f0490a1de19c (diff) | |
Describe encoding of inductive types.
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -71,7 +71,7 @@ \setcopyright{none} \fi -\title{ARTiST:\ Adding Regular Types in System~T} +\title{ARTyST:\ Adding Regular Types to System~T} \ifacmart \keywords{} @@ -154,7 +154,7 @@ \newmintinline[systemtinline]{'lexer.py:SystemTLexer -x'}{} % TODOS and such -\newcommand\lang{{\color{Green} ARTiST}} +\newcommand\lang{{\color{Green} ARTyST}} \newcommand\TODO[1]{{\color{Blue}TODO:\ {#1}}} \newcommand\FIXME[1]{{\color{Red}FIXME:\ {#1}}} |