diff options
author | Jasper Van der Jeugt | 2020-09-11 14:09:45 +0200 |
---|---|---|
committer | Jasper Van der Jeugt | 2020-09-11 14:09:45 +0200 |
commit | d2d39bd86ec351f0b5b3bec850a086c3fc40767e (patch) | |
tree | 04fc375d19df7cb34e2c977210cfd36b6df1aa52 | |
parent | 340058cb2e41797b648a5e29cf3c911bfe602633 (diff) |
Bump cards
-rw-r--r-- | cards.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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) |