aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cards.yaml4
1 files changed, 4 insertions, 0 deletions
diff --git a/cards.yaml b/cards.yaml
index 7d7fea8..799420e 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -316,6 +316,10 @@ munihac2020:
- actually finishing a Hackathon project
- the 8th coffee of the day
- zygohistomorphic prepromorphisms
+ - the Haskell subreddit
+ - extremely lame Category Theory puns
+ - bashing other languages on Twitter
+ - using nix because that's what the cool kids are doing
# Adaptions from icfp2020
- adding inconsistent axioms to Agda (again)