by Jan Malakhovski
A course mostly focused on programming in Haskell, with some bits of lambda-calculus and type theory, and some proof checking in Agda.
If you are able to … and everything below — you’ll get …
prove simple things in Agda and do Fusions in Haskell — A;
only one of the above — B;
fluently translate given problem domain into Haskell — C;
write ADTs and operations for common data structures, write custom monads — D or E.
Bootstrap this course.
Install Haskell Platform. In-browser and ghci experience is not enough.
See