Dependently typed Programming (DTP)

Here are the files related to my course at this year's Midland Graduate School. To download Epigram or the documentation, please consult the Epigram homepage.

Please let me know (e.g. by email) if you get stuck, or if you want to see my solutions.

Thorsten Altenkirch
Last modified: Thu Apr 19 17:00:54 BST 2007