From 5a2a71cb50fd892585c7e5f3af726ac750ecb097 Mon Sep 17 00:00:00 2001 From: Jasper Van der Jeugt Date: Wed, 19 Aug 2020 10:31:33 +0200 Subject: Small typo fixes --- white.txt | 3 +-- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3