michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed typo James noted

Browse source
This commit is contained in:
wadler 2018-04-19 10:03:12 -03:00
parent 1eb69a9e60
commit 5de10c19e2
2 changed files with 1 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
index.md
View file

@ -31,7 +31,7 @@ fixes are encouraged.
- [Isomorphism: Isomorphism and embedding](Isomorphism)
- [Connectives: Conjunction, Disjunction, and Implication](Connectives)
- [Negation: Negation, with Intuitionistic and Classical Logic](Negation)
- [Quantiers: Universals and Existentials](Quantifiers)
- [Quantifiers: Universals and Existentials](Quantifiers)
- [Lists: Lists and higher-order functions](Lists)
- [Decidable: Booleans and decision procedures](Decidable)

6
src/Preface.lagda
View file

@ -16,12 +16,6 @@ material we should remove, parts that require better explanation, good
exercises, errors, and typos---are welcome. Pull requests for small
fixes are encouraged.
<!--
The first draft of Part I will be completed before the end of March
2018. When that is done it will be announced here, and that would be
an excellent time to comment on the first part.
-->
## Personal remarks: From TAPL to PLTA