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

updated index

Browse source
This commit is contained in:
wadler 2018-02-16 17:27:02 -02:00
parent f97bac1082
commit 3f744db8b9
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
index.md
View file

@ -28,6 +28,7 @@ http://homepages.inf.ed.ac.uk/wadler/
- [Isomorphism: Isomorphism and embedding](Isomorphism) - [Isomorphism: Isomorphism and embedding](Isomorphism)
- [Logic: Logic](Logic) - [Logic: Logic](Logic)
- [Lists: Lists and other data types](Lists) - [Lists: Lists and other data types](Lists)
- [Decidable: Booleans and decision procedures](Decidable)
- [PropertiesAns: Solutions to exercises](PropertiesAns) - [PropertiesAns: Solutions to exercises](PropertiesAns)
- [RelationsAns: Solutions to exercises](RelationsAns) - [RelationsAns: Solutions to exercises](RelationsAns)