Lecture 9

First, we had examlet 3. Then we saw function notation (with type signatures) and the basic ideas behind onto and one-to-one. We also looked briefly at statements with two unlike quantifiers.

Announcements