From 7ffabcfc585860b5868fc745c7f89f58c3633006 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Tue, 20 May 2025 17:55:44 +0100 Subject: Finish revisions. --- sec/compiler.ltx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sec/compiler.ltx') diff --git a/sec/compiler.ltx b/sec/compiler.ltx index 2cfde8e..fad68d4 100644 --- a/sec/compiler.ltx +++ b/sec/compiler.ltx @@ -1,7 +1,7 @@ \documentclass[../main.tex]{subfiles} \begin{document} -\section{Idris 2 Compiler}% +\section{Idris 2 Compiler for Artyst}% \label{sec:compiler} \TODO{ -- cgit v1.2.3