aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJasper Van der Jeugt2020-09-11 14:09:45 +0200
committerJasper Van der Jeugt2020-09-11 14:09:45 +0200
commitd2d39bd86ec351f0b5b3bec850a086c3fc40767e (patch)
tree04fc375d19df7cb34e2c977210cfd36b6df1aa52
parent340058cb2e41797b648a5e29cf3c911bfe602633 (diff)
Bump cards
-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)