About me

You probably know me as Prophet, welltypedwitch or Innf107... names are complicated.
This is where I write about type systems, programming languages and Haskell. If you're interested in those topics, you can subscribe to this blog via RSS.

I publish most of my code on github.
If you want to reach me, the easiest way is probably at [email protected].