equal
deleted
inserted
replaced
17 \isa{\isasymlambda((x,y),z).x+y+z}. |
17 \isa{\isasymlambda((x,y),z).x+y+z}. |
18 In addition to explicit $\lambda$-abstractions, tuple patterns can be used in |
18 In addition to explicit $\lambda$-abstractions, tuple patterns can be used in |
19 most variable binding constructs. Typical examples are |
19 most variable binding constructs. Typical examples are |
20 \begin{quote} |
20 \begin{quote} |
21 \isa{let\ {\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isacharequal}\ f\ z\ in\ {\isacharparenleft}y{\isacharcomma}\ x{\isacharparenright}}\\ |
21 \isa{let\ {\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isacharequal}\ f\ z\ in\ {\isacharparenleft}y{\isacharcomma}\ x{\isacharparenright}}\\ |
22 \isa{case\ xs\ of\ {\isacharbrackleft}{\isacharbrackright}\ {\isasymRightarrow}\ \isadigit{0}\ {\isacharbar}\ {\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isacharhash}\ zs\ {\isasymRightarrow}\ x\ {\isacharplus}\ y} |
22 \isa{case\ xs\ of\ {\isacharbrackleft}{\isacharbrackright}\ {\isasymRightarrow}\ {\isadigit{0}}\ {\isacharbar}\ {\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isacharhash}\ zs\ {\isasymRightarrow}\ x\ {\isacharplus}\ y} |
23 \end{quote} |
23 \end{quote} |
24 Further important examples are quantifiers and sets (see~\S\ref{quant-pats}).% |
24 Further important examples are quantifiers and sets (see~\S\ref{quant-pats}).% |
25 \end{isamarkuptext}% |
25 \end{isamarkuptext}% |
26 \end{isabellebody}% |
26 \end{isabellebody}% |
27 %%% Local Variables: |
27 %%% Local Variables: |