summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-02-04 13:45:17 +0100
committerGregor Kleen <gkleen@yggdrasil.li>2016-02-04 13:45:17 +0100
commit4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9 (patch)
tree519bae03c9264bd02e847c110582917c992516cf
parentd27c8f4770ffb19920ed1cf83996efc577bc8d11 (diff)
downloaddirty-haskell.org-4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9.tar
dirty-haskell.org-4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9.tar.gz
dirty-haskell.org-4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9.tar.bz2
dirty-haskell.org-4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9.tar.xz
dirty-haskell.org-4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9.zip
minor correction
-rw-r--r--provider/posts/simmons-intro-to-cat-t/1.2.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/provider/posts/simmons-intro-to-cat-t/1.2.md b/provider/posts/simmons-intro-to-cat-t/1.2.md
index bb6c1ad..aeac8d7 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.2.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.2.md
@@ -174,7 +174,7 @@ f(a) & \quad x \in \bar{A} \\
174\end{aligned} \\ 174\end{aligned} \\
175\Phi^\leftarrow : \ca{Set_\bot} & \to \ca{Pfn} \\ 175\Phi^\leftarrow : \ca{Set_\bot} & \to \ca{Pfn} \\
176A & \mapsto A - \{ \bot \} \\ 176A & \mapsto A - \{ \bot \} \\
177f & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )} 177\arr{f}{A}{B} & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )}
178\end{aligned} 178\end{aligned}
179$$ 179$$
180where $\rest{f}{\bar{A}}$ is total. 180where $\rest{f}{\bar{A}}$ is total.