aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJasper Van der Jeugt2020-08-19 10:31:33 +0200
committerJasper Van der Jeugt2020-08-19 10:31:33 +0200
commit5a2a71cb50fd892585c7e5f3af726ac750ecb097 (patch)
treeb8c7fce9c01b33612d036b153afb5e24712d1f7d
parent7f3ccf5455a9651e9281c4a8b69e5f7a357b164c (diff)
Small typo fixes
Diffstat (limited to '')
-rw-r--r--white.txt3
1 files changed, 1 insertions, 2 deletions
diff --git a/white.txt b/white.txt
index f97263f..902fec5 100644
--- a/white.txt
+++ b/white.txt
@@ -13,7 +13,7 @@ mutability
type theory
pointers
a proof left as an exercise to the reader
-the independence of depedent types
+the independence of dependent types
100 pages of proof appendix
the Vim vs Emacs dilemma
the fear of side effects
@@ -83,7 +83,6 @@ Ranjit's Lambda Style
# https://github.com/CardsAgainstCryptography/CAC/blob/master/src/white.txt
# Filtered down to remove some sexism / racism / ... and irrelevant cards.
100% talks, 0% human interaction
-16-bit AES
Thinking I'm so clever for using pictures of Alice (Cooper) and Bob (Marley)
a career-limiting card game
a hand wavy argument