Videos

The lectures will be recorded and available on CANVAS

Topics, Notes and Code

Date	Topic	Notes	Markup	Code
9/28	Intro	pdf
10/3	Lambda Calculus	html	pdf
10/10	Haskell Basics	html	pdf	code
10/12	Algebraic Data Types	html	pdf	code
10/17	Higher-order Fun	html	pdf	code
10/19	IO	html	pdf	code
10/24	Type Classes	html	pdf	code
10/26	Functors	html	pdf	code
10/31	Monads	html	pdf	code
11/2	First Midterm
11/7	Iteration and State	html-1 html-2	pdf	code
11/14	Parser Combinators	html		code
11/21	Property-based Testing	html		code
11/28	Monad Transformers	html		code
11/30	Refinement Types	1 2 3 4

---