April 8, 2025
Tuesday of Week 13
Topics of the day
- Decidability
- Basics of Haskell
Suggested reading
- Section 8.1 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Online references
- Haskell doc ("Prelude") (downloads.haskell.org)
- Learn you a Haskell (learnyouahaskell.com)
Assignments
Today
- Homework 9 due
Upcoming
- Homework 10 out (10 Apr)
- Homework 10 due (15 Apr)
- Homework 9 revision due (15 Apr)