diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-04 13:45:17 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-04 13:45:17 +0100 |
| commit | 4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9 (patch) | |
| tree | 519bae03c9264bd02e847c110582917c992516cf /provider/posts | |
| parent | d27c8f4770ffb19920ed1cf83996efc577bc8d11 (diff) | |
| download | dirty-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
Diffstat (limited to 'provider/posts')
| -rw-r--r-- | provider/posts/simmons-intro-to-cat-t/1.2.md | 2 |
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} \\ |
| 176 | A & \mapsto A - \{ \bot \} \\ | 176 | A & \mapsto A - \{ \bot \} \\ |
| 177 | f & \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 | $$ |
| 180 | where $\rest{f}{\bar{A}}$ is total. | 180 | where $\rest{f}{\bar{A}}$ is total. |