From d2d39bd86ec351f0b5b3bec850a086c3fc40767e Mon Sep 17 00:00:00 2001 From: Jasper Van der Jeugt Date: Fri, 11 Sep 2020 14:09:45 +0200 Subject: Bump cards --- cards.yaml | 4 ++++ 1 file changed, 4 insertions(+) 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) -- cgit v1.2.3