From c2c2f8ce587a46a6366ef2ab836414ac279bfdc4 Mon Sep 17 00:00:00 2001
From: Jasper Van der Jeugt
Date: Sun, 23 Aug 2020 19:23:30 +0200
Subject: Fix some trailing spaces

---
 cards.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/cards.yaml b/cards.yaml
index 63cfe8a..b00e735 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -70,17 +70,17 @@ icfp2020:
     - adding inconsistent axioms to Agda (again)
     - an angry type theorist
     - non-SIGPLAN conferences
-    - full abstraction 
+    - full abstraction
     - installing Agda for its input mode
     - presheaves
     - a definitional interpreter in Common Lisp
     - a self-promotional comment phrased as a question
     - just a corollary of the foundamental theorem
     - Agda's failure in unifying the terms
-    - theorems for free 
+    - theorems for free
     - using the acmart class
     - the later modality
-    - writing code with paper and pencil 
+    - writing code with paper and pencil
     - progress and preservation
     - going to the bathroom for the second time in 5 minutes to avoid an awkward conversation
     # ICFP2020 Cards
-- 
cgit v1.2.3