One of the best talks on the K type system, if not the best 👍

also, it’s fun and full of energy

I like the format using code & comments in the IDE instead of slides

that felt strange to me at first but i cannot say i dislike it 🙂