Hey there! I am Anton Lorenzen, currently a student at the University of Bonn. I am mostly interested in type theory and functional programming (and some other stuff, see my contacts page).

I sometimes write tutorials. Please tell me if you don’t understand something; I’ll try to make them better:

General stuff, mostly showcases:

Code that is easy enough to understand to not merit a tutorial and is too short for Github:

Some ideas for projects I might start (but probably won’t have the time to do):