diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-25 13:28:30 +0000 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-25 13:28:30 +0000 |
commit | 8fffa52889cade1dde5249778bdefef0ddb3ec07 (patch) | |
tree | bfc64c4a0e53781c555db3e44f473ef207ce272a | |
parent | 776e65149576cb7d8d20c12edc57e6b919c366ee (diff) | |
download | dirty-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
-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 |