4
edits
Playground: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
This page is used to test wiki | This page is used to test wiki syntax. | ||
== Math == | |||
<math>\mbox{Atoms}~ a, b ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math> | <math>\mbox{Atoms}~ a, b ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math> | ||
| Line 14: | Line 15: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
== Code == | |||
Inline code: <code>while (true) {}</code> | |||
Code block: | |||
datatype ty = Basic of string | |||
| Arrow of ty * ty | |||
| Prod of ty * ty | |||