Welcome

I'm Jannis Limperg, student of computer science at
Chalmers University Gothenburg.
You have stumbled upon my personal blog, which may eventually contain posts
on subjects like Haskell, dependently typed programming, proof assistants,
category theory and so on.