Welcome
I'm Jannis Limperg, a PhD student of computer science on the Lean Forward project under the supervision of Jasmin Blanchette. 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.