hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-26 03:11:47 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo. (#182)

Browse Source 
* Fix typo.
* Update errata.md
This commit is contained in:
Theodoros Chatzigiannakis 2019-02-19 13:50:26 +02:00 committed by Igal Tabachnik
parent 00ab945aee
commit be63a5d299
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
errata.md
View File

@ -8,6 +8,10 @@
* [#176](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/176) - Typo (statements -> statement)
### 9. Function Types
* [#182](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/182) - Fix typo (chose -> choose)
### 10. Natural Transformations
* [#157](https://github.com/hmemcpy/milewski-ctfp-pdf/pull/157) - Adding paragraph indent

2
src/content/1.9/function-types.tex
View File

@ -543,7 +543,7 @@ How about a predicate that is blatantly false? For instance: if
$a$ or $b$ is true then $a$ must be true.
\[a \vee b \Rightarrow a\]
This is obviously wrong because you can chose an $a$ that is
This is obviously wrong because you can choose an $a$ that is
false and a $b$ that is true, and that's a counter-example.
Mapping this predicate into a function signature using the Curry-Howard