From 6ca26199d5b57ebc0c33d1009d8bff8be92142c1 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 25 Apr 2025 12:00:48 +0100
Subject: Describe encoding of inductive types.

---
 main.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index f5743b9..91aa555 100644
--- a/main.tex
+++ b/main.tex
@@ -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}}}
 
-- 
cgit v1.2.3