文本，斜体文本，粗体文本和带删除线的文本。
二级标题
三级标题
四级标题
五级标题
六级标题
- 无序列表
- 无序列表
- 无序列表
- 有序列表
- 有序列表
- 有序列表
- 任务列表。
- 任务列表。
- 任务列表。
- 词语
- 释义
- 释义
- 释义
| 第一列 | 第二列 |
|---|---|
| 1, 1 | 1, 2 |
| 2, 1 | 2, 2 |
| 3, 1 | 3, 2 |
引用。
行内代码\x y -> x + y和行内公式$ y = x $。
公式：
$$ y = x^2 $$
代码：
data Nat where
zero :: Nat
suc :: Nat -> Nat