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.

Epigram code from Monday (with Exercises)
Epigram code from Tuesday (with solutions and new exercises)
Epigram code from Thursday (no solutions but new exercises)

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