Functional Programming in Haskell and Proof Checking with Agda Course

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.

Main stuff

Rating system

If you are able to … and everything below — you’ll get …


Homework #0

Bootstrap this course.

Homework #1

Install Haskell Platform. In-browser and ghci experience is not enough.

Homework #2 and etc