martijn vermaat.

i am martijn. twenty-eight. master student in computer science. occasionally doing freelance work.

have written some code. currently trying to make infinitary rewriting work in coq.

mail goes to martijn@vermaat.name.