Functional Programming in Haskell and Proof Checking with 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.
Homework #2 and etc