summaryrefslogtreecommitdiff
path: root/provider
diff options
context:
space:
mode:
Diffstat (limited to 'provider')
-rw-r--r--provider/posts/thermoprint-5.md2
1 files changed, 1 insertions, 1 deletions
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
5--- 5---
6 6
7When I write *Universal Quantification* I mean what is commonly referred to as 7When I write *Universal Quantification* I mean what is commonly referred to as
8[existintial quantification](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data-type-extensions.html#existential-quantification), 8[existential quantification](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data-type-extensions.html#existential-quantification),
9which I think is a misnomer. To wit: 9which I think is a misnomer. To wit:
10 10
11$( \exists x \ldotp f(x) ) \to y$ is isomorphic to $\forall x \ldotp (f(x) \to y)$ (I 11$( \exists x \ldotp f(x) ) \to y$ is isomorphic to $\forall x \ldotp (f(x) \to y)$ (I