My first visit to Lambda Days - so happy to see a lot of interest in type theory.

Ji Liu @arkh4m :

Kraków dragon: