diff options
| author | Niki Vazou | 2021-01-16 22:11:26 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-16 22:11:26 +0100 |
| commit | 79e26c44cb127109ae5d545d0c5bad436dd1493f (patch) | |
| tree | 00f2f802fc29dd0892fa580e893ba39a340b36c5 | |
| parent | ccd168a6d53f5060616efae505a933a0ac5e3173 (diff) | |
POPL edits
| -rw-r--r-- | cards.yaml | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -71,8 +71,17 @@ popl2021: - 'At POPL, no one will judge you for your attraction to _.' - 'I will call my PhD thesis "Fifty Shades of _".' - "'Harry Potter and _' is the best fan fiction I've ever read!" + - 'A Logic for _' white: + - yet another type of equality + - THE BLIND SPOT + - UIP + - type theory + - classical logic + - the law of excluded middle + - double negation + - Haskell Is Not Not ML - Kripke semantics - covfefe - natural deduction @@ -173,8 +182,8 @@ icfp2020: - the fear of side effects - error reporting - readable type errors - - Haskell wins at ICFP programming contest - - C++ wins at ICFP programming contest + # - Haskell wins at ICFP programming contest + # - C++ wins at ICFP programming contest - a cryptocurrency developed using Coq - monads are like burritos - the egg of Coq |