From 7408a6b9aa210f06912d18cbf19b703446087c0a Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 25 Apr 2025 13:34:10 +0100
Subject: Give examples for phase 1.

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 91aa555..f02720b 100644
--- a/main.tex
+++ b/main.tex
@@ -247,7 +247,7 @@
 %% Recursive types
 \ExplSyntaxOn
 \NewDocumentCommand \roll {s}
-  { \ensuremath{\mathsf{roll} \IfBooleanT{#1}{'}} }
+  { \ensuremath{\mathsf{roll \IfBooleanT{#1}{2}}} }
 \ExplSyntaxOff
 \newcommand\unroll{\ensuremath{\mathsf{unroll}}}
 \newcommand\foldkw{\ensuremath{\mathsf{fold}}}
-- 
cgit v1.2.3

