# Functional Programming in Haskell and Proof Checking with Agda

## 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

• current year — groups: 28 — year2009; 38, 39 — year2010.