diff options
| author | Jasper Van der Jeugt | 2020-08-23 19:23:30 +0200 |
|---|---|---|
| committer | Jasper Van der Jeugt | 2020-08-23 19:23:30 +0200 |
| commit | c2c2f8ce587a46a6366ef2ab836414ac279bfdc4 (patch) | |
| tree | cd7211ac432fa3f4a571c95b9a1de2cd52abe854 | |
| parent | e19fbd66f7833f53f0dde44f456c0ba175bad550 (diff) | |
Fix some trailing spaces
| -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 |