Main stuff
Rating system
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.
Homeworks
Homework #0
Bootstrap this course.
Homework #1
Install Haskell Platform. In-browser and ghci
experience is not enough.
Homework #2 and etc
See