Dear Epigrammers, This may be of interest to some of you.
I am pleased to announce that Edwin Brady has now passed his PhD at Durham. The thesis is on the subject of practical compilation techniques for (a) dependently typed programming language -- ie, Epigram. Well done! Paul ps. Before you all visit his web page or email him, there's a few changes to be made to the thesis, but Edwin will announce its availability within a few weeks.
