From 79e26c44cb127109ae5d545d0c5bad436dd1493f Mon Sep 17 00:00:00 2001
From: Niki Vazou
Date: Sat, 16 Jan 2021 22:11:26 +0100
Subject: POPL edits

---
 cards.yaml | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/cards.yaml b/cards.yaml
index d3dc3a8..d2dac5a 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -71,8 +71,17 @@ popl2021:
     - 'At POPL, no one will judge you for your attraction to _.'
     - 'I will call my PhD thesis "Fifty Shades of _".'
     - "'Harry Potter and _' is the best fan fiction I've ever read!"
+    - 'A Logic for _'
 
   white:
+    - yet another type of equality
+    - THE BLIND SPOT 
+    - UIP
+    - type theory
+    - classical logic 
+    - the law of excluded middle
+    - double negation
+    - Haskell Is Not Not ML
     - Kripke semantics
     - covfefe
     - natural deduction
@@ -173,8 +182,8 @@ icfp2020:
     - the fear of side effects
     - error reporting
     - readable type errors
-    - Haskell wins at ICFP programming contest
-    - C++ wins at ICFP programming contest
+    # - Haskell wins at ICFP programming contest
+    # - C++ wins at ICFP programming contest
     - a cryptocurrency developed using Coq
     - monads are like burritos
     - the egg of Coq
-- 
cgit v1.2.3