diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-20 17:55:44 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-20 17:55:44 +0100 |
| commit | 7ffabcfc585860b5868fc745c7f89f58c3633006 (patch) | |
| tree | a62be7268dd067c0d0ef4447af296941b57d9c72 /sec/compiler.ltx | |
| parent | 17fd8c3e26197ca07282451bbe2e8e6638f807a4 (diff) | |
Finish revisions.
Diffstat (limited to 'sec/compiler.ltx')
| -rw-r--r-- | sec/compiler.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
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{ |