Give examples for phase 1.

1 files changed, 1 insertions, 1 deletions

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}}}