mvermaat's profile

About me

Username:	mvermaat
Name:	Martijn Vermaat
Job title:	Not specified
Affiliation:	Not specified
Web page:	http://martijn.vermaat.name/
Joined:	2008-02-26

What I do

Not specified

Interests

Not specified

Recent Activity

2009-11-16

18:02: posted Certified Programming with Dependent Types
09:57: posted The surprise examination or unexpected hanging paradox