From 8fffa52889cade1dde5249778bdefef0ddb3ec07 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
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