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.

- General Guidelines.
- Lastest Course Plan with RTFM links.
- There is also a very related TTFV seminar.

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

- (in Russian) calendar year 2012 — groups: 28 — rain.ifmo.ru group year2009; 38, 39 — rain.ifmo.ru group year2010.