Lecture 5

• Announcements
• More conditionals
• Types in Grace

---