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.
Special Pages
Blog Posts
- A Basic Lean 4 Project Template 31 May 2021
- Some Lean Metaprogramming Gotchas 19 August 2020
- On the Master Programme "Algorithms, Languages and Logic" at Chalmers University Gothenburg 27 December 2019
- Yoneda's Lemma in Excruciating Detail 27 July 2018