Describe distrib.

1 files changed, 5 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 4fedbac..f5743b9 100644
--- a/main.tex
+++ b/main.tex
@@ -245,7 +245,10 @@
 \newcommand\arb{\ensuremath{\mathsf{arb}}}
 
 %% Recursive types
-\newcommand\roll{\ensuremath{\mathsf{roll}}}
+\ExplSyntaxOn
+\NewDocumentCommand \roll {s}
+  { \ensuremath{\mathsf{roll} \IfBooleanT{#1}{'}} }
+\ExplSyntaxOff
 \newcommand\unroll{\ensuremath{\mathsf{unroll}}}
 \newcommand\foldkw{\ensuremath{\mathsf{fold}}}
 \newcommand\foldtm[3]{\foldkw~{#1}~\mathsf{with}~{{#2}.~{#3}}}
@@ -331,6 +334,7 @@
   { {#1} [ \squid_checksub [] #2
   }
 \ExplSyntaxOff
+\newcommand\submult[2]{{#1}[ {#2} ]}
 
 %% Document %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%