About

I have an interest in programming languages, and in particular functional ones with a good type system.

I studied datalogi (computer science) at Aarhus University.

I have a GitHub account with various projects.