Commit 96ff5421 authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent 7aaa7528
Pipeline #127 skipped
\begin{module}[id=simple-imperative-language]
\importmhmodule[path=missing/en/pseudocode]{pseudocode}
\symdef{SILassign}[2]{\infix[p=500]{\leftarrow\kern-0.1em\mapstochar}{#1}{#2}}
\symdef{SILwhile}[2]{\mixfixii[p=800,pi=0,pii=0]{\mathbf{while}\;}{#1}{\mathbf{\;do\;}}{#2}{\;\mathbf{end}}}
\symdef{SILrepeat}[2]{\mixfixii[p=800,pi=0,pii=0]{\mathbf{repeat}\;}{#1}{\mathbf{\;until\;}}{#2}{\;\mathbf{end}}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment