diff options
-rw-r--r-- | provider/posts/thermoprint-5.md | 2 |
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 | ||
7 | When I write *Universal Quantification* I mean what is commonly referred to as | 7 | When 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), |
9 | which I think is a misnomer. To wit: | 9 | which 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 |