Fix typo: foundamental -> fundamental

1 files changed, 1 insertions, 1 deletions

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