From 6f4482b387957f15eaa7c6a954fb856ce990ebf7 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 4 Feb 2016 13:45:50 +0100 Subject: *poke* --- provider/posts/simmons-intro-to-cat-t/1.2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'provider/posts/simmons-intro-to-cat-t') 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 aeac8d7..c2875ca 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} \\ \end{aligned} \\ \Phi^\leftarrow : \ca{Set_\bot} & \to \ca{Pfn} \\ A & \mapsto A - \{ \bot \} \\ -\arr{f}{A}{B} & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )} +\arr{A}{f}{B} & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )} \end{aligned} $$ where $\rest{f}{\bar{A}}$ is total. -- cgit v1.2.3