Playground - Revision history

KalmanKeri: /* Math */

2023-05-13T15:49:52Z

Math

@@ Line 14: / Line 14: @@
 & \; | \; 0 & \text{Terminate the process}
 \end{align}
 </math>

2023-02-04T11:03:55Z

← Older revision		Revision as of 11:03, 4 February 2023
Line 25:		Line 25:
	\| Arrow of ty * ty		\| Arrow of ty * ty
	\| Prod of ty * ty		\| Prod of ty * ty

			== HTML tags ==

			<span style="color: red; text-decoration: line-through;">Typo to be corrected</span>

			<span style="background-color: #eee; padding: 4px 8px;">Text with background</span>

			<div style="background-color: #eee; padding: 4px 8px;">Text block with background</div>

2023-02-02T23:52:24Z

← Older revision		Revision as of 23:52, 2 February 2023
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

2023-02-02T23:48:42Z

@@ Line 1: / Line 1: @@
-This page is used to test wiki editing.
+This page is used to test wiki syntax.
 <math>\mbox{Atoms}~ a, b ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math>
@@ Line 14: / Line 15: @@
 \end{align}
 </math>

2023-02-02T23:38:46Z

← Older revision		Revision as of 23:38, 2 February 2023
Line 2:		Line 2:


	<math>1</math>		<math>\mbox{Atoms}~ a, b ::= \mathsf{Foo} ~\|~ \mathsf{Bar}</math>

			<math>
			\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>

2023-02-02T22:53:42Z

← Older revision		Revision as of 22:53, 2 February 2023
Line 1:		Line 1:
	This page is used to test wiki editing.		This page is used to test wiki editing.
	~~<code>update.php</code>~~

	<math>1</math>		<math>1</math>

2023-02-02T22:52:44Z

← Older revision		Revision as of 22:52, 2 February 2023
Line 1:		Line 1:
	This page is used to test wiki editing.		This page is used to test wiki editing.
			<code>update.php</code>
	<math>1</math>		<math>1</math>

2023-02-02T22:41:48Z

Created page with "This page is used to test wiki editing. <math>1</math>"

New page

This page is used to test wiki editing.

<math>1</math>