From 8fffa52889cade1dde5249778bdefef0ddb3ec07 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Mon, 25 Jan 2016 13:28:30 +0000 Subject: typo --- provider/posts/thermoprint-5.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/provider/posts/thermoprint-5.md b/provider/posts/thermoprint-5.md index cb9db47..47132e2 100644 --- a/provider/posts/thermoprint-5.md +++ b/provider/posts/thermoprint-5.md @@ -5,7 +5,7 @@ published: 2016-01-24 --- When I write *Universal Quantification* I mean what is commonly referred to as -[existintial quantification](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data-type-extensions.html#existential-quantification), +[existential quantification](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data-type-extensions.html#existential-quantification), which I think is a misnomer. To wit: $( \exists x \ldotp f(x) ) \to y$ is isomorphic to $\forall x \ldotp (f(x) \to y)$ (I -- cgit v1.2.3