| 1/24 |
Install Haskell! |
Basics.hs |
DList.hs, HigherOrder.hs, SecretCode.hs |
| 1/31 |
|
Datatypes |
Typeclasses |
| 2/07 |
Assignment 1 |
Foldables |
QuickCheck |
| 2/14 |
Assignment 2 |
HW01 Review + QuickCheck |
Dynamic Programming in Haskell |
| 2/21 |
|
Monads! |
More Monads! |
| 2/28 |
Assignment 3 |
State |
Parsers! |
| 3/07 |
|
Parsing, continued |
GADTs |
| 3/14 |
Assignment 4 |
Monad Transformers |
Transformers Exercise |
| 3/21 |
|
Spring Break |
Spring Break |
| 3/28 |
|
Midterm Review |
Midterm (in class) |
| 4/04 |
|
Midterm Discussion, Time Travel, Games, and projects |
Lenses |
| 4/11 |
Project Proposals |
Lenses, State, and Brick, Tic-Tac-Toe! |
Parsing and Pretty-Printing |
| 4/18 |
|
Liquid Haskell |
Finger Trees! |
| 4/25 |
Project Progress |
Concurrency! |
Agda! |
| 5/02 |
STLC in Agda |
Project Presentations |
|
| 5/09 |
Final Projects |
Project Presentations |
|