added Lists to index

This commit is contained in:
wadler 2018-02-04 18:08:49 -04:00
parent 65572ed522
commit 7135880522

View file

@ -27,6 +27,7 @@ http://homepages.inf.ed.ac.uk/wadler/
- [Equivalence: Equivalence and equational reasoning](Equivalence)
- [Isomorphism: Isomorphism and embedding](Isomorphism)
- [Logic: Logic](Logic)
- [Lists: Lists and other data types](Lists)
- [PropertiesAns: Solutions to exercises](PropertiesAns)
- [RelationsAns: Solutions to exercises](RelationsAns)