Hi today i did a remake of that screencast showing a sample session with the epigram system:
http://informatik.uni-kiel.de/~seha/warmup.html
As i remember Thorsten once explaining type theory to me over the phone
i like the idea of having a complete coverage of his course material. We
just needed to get him 'two turnstiles and a microphone'.
Cheers,
Sebastian
