diff options
| -rw-r--r-- | cards.yaml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -70,17 +70,17 @@ icfp2020: - adding inconsistent axioms to Agda (again) - an angry type theorist - non-SIGPLAN conferences - - full abstraction + - full abstraction - installing Agda for its input mode - presheaves - a definitional interpreter in Common Lisp - a self-promotional comment phrased as a question - just a corollary of the foundamental theorem - Agda's failure in unifying the terms - - theorems for free + - theorems for free - using the acmart class - the later modality - - writing code with paper and pencil + - writing code with paper and pencil - progress and preservation - going to the bathroom for the second time in 5 minutes to avoid an awkward conversation # ICFP2020 Cards |