diff options
-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) |