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.

Special Pages

Blog Posts