4
edits
Playground: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 20: | Line 20: | ||
Inline code: <code>while (true) {}</code> | Inline code: <code>while (true) {}</code> | ||
Code block: | Code block without syntax highlight: | ||
datatype ty = Basic of string | datatype ty = Basic of string | ||
| Arrow of ty * ty | | Arrow of ty * ty | ||
| Prod of ty * ty | | Prod of ty * ty | ||