summaryrefslogtreecommitdiff
path: root/provider
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-01-25 13:28:30 +0000
committerGregor Kleen <gkleen@yggdrasil.li>2016-01-25 13:28:30 +0000
commit8fffa52889cade1dde5249778bdefef0ddb3ec07 (patch)
treebfc64c4a0e53781c555db3e44f473ef207ce272a /provider
parent776e65149576cb7d8d20c12edc57e6b919c366ee (diff)
downloaddirty-haskell.org-8fffa52889cade1dde5249778bdefef0ddb3ec07.tar
dirty-haskell.org-8fffa52889cade1dde5249778bdefef0ddb3ec07.tar.gz
dirty-haskell.org-8fffa52889cade1dde5249778bdefef0ddb3ec07.tar.bz2
dirty-haskell.org-8fffa52889cade1dde5249778bdefef0ddb3ec07.tar.xz
dirty-haskell.org-8fffa52889cade1dde5249778bdefef0ddb3ec07.zip
typo
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