| 1/25 |
Installations! |
- |
PLMW Quiz! |
| 1/30 |
Assignment 0 |
Programming in Dafny (code, slides) |
Logic in Dafny (code, slides) |
| 2/06 |
Assignment 1 |
Program Specifications in Dafny (code-find, code-minMax, slides) |
LoopInvariants (Fibonnaci, Binary Search, FindMin, Doubling slides) |
| 2/13 |
|
Hoare Logic |
(continuation) |
| 2/20 |
Assignment 2 |
From OCaml To Haskell Basics.hs |
HigherOrder.hs, DList.hs, SecretCode.hs |
| 2/27 |
|
Trees + Folds |
Typeclasses |
| 3/05 |
Assignment 3 |
Monads! |
State Monad, Pretty Printing |
| 3/12 |
Assignment 4 |
HW 3 review + Monad demo |
Parsers |
| 3/19 |
|
Spring Break |
Spring Break |
| 3/26 |
|
Midterm Review |
Midterm (in class) |
| 4/02 |
Assignment 5 |
Monad Transformers |
Parse/Eval demo |
| 4/09 |
|
QuickCheck |
MiniDafny Generators! |
| 4/16 |
Assignment 6 |
Dynamic Programming! |
Z3 |
| 4/23 |
|
GADTs |
Agda! |
| 4/30 |
|
Lenses |
|
| 5/07 |
Final Project |
|
|