About

Hello! My name is Jan. I'm a software developer who enjoys working with functional programming languages, compilers and proof assistants. I use this blog to write about things that I find interesting. I hope you feel welcome.