diff options
| -rw-r--r-- | cards.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -75,7 +75,7 @@ icfp2020: - presheaves - a definitional interpreter in Common Lisp - a self-promotional comment phrased as a question - - just a corollary of the foundamental theorem + - just a corollary of the fundamental theorem - Agda's failure in unifying the terms - theorems for free - using the acmart class |