From a01ebb0da388dba35a230e5fd34593e197cdfc70 Mon Sep 17 00:00:00 2001
From: Adam Gundry
Date: Tue, 25 Aug 2020 11:23:26 +0100
Subject: Fix typo: foundamental -> fundamental

---
 cards.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cards.yaml b/cards.yaml
index b00e735..c9de2d5 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -75,7 +75,7 @@ icfp2020:
     - presheaves
     - a definitional interpreter in Common Lisp
     - a self-promotional comment phrased as a question
-    - just a corollary of the foundamental theorem
+    - just a corollary of the fundamental theorem
     - Agda's failure in unifying the terms
     - theorems for free
     - using the acmart class
-- 
cgit v1.2.3