Playground

This page is used to test wiki syntax.

Math

[math]\displaystyle{ \mbox{Atoms}~ a, b ::= \mathsf{Foo} ~|~ \mathsf{Bar} }[/math]

[math]\displaystyle{ \begin{align} P, Q ::= & \; x(y).P \,\,\, \, \, & \text{Receive on channel }x\text{, bind the result to }y\text{, then run }P \\ & \; | \; \overline{x} \langle y \rangle.P \,\,\, \, \, &\text{Send the value }y\text{ over channel }x\text{, then run }P \\ & \; | \; P|Q \,\,\, \, \, \, \, \, \, &\text{Run }P\text{ and }Q\text{ simultaneously} \\ & \; | \; (\nu x)P \,\,\, &\text{Create a new channel }x\text{ and run }P \\ & \; | \; !P \,\,\, &\text{Repeatedly spawn copies of }P \\ & \; | \; 0 & \text{Terminate the process} \end{align} }[/math]

Code

Inline code: while (true) {}

Code block:

datatype ty = Basic of string
            | Arrow of ty * ty
            | Prod of ty * ty