<https://vimeo.com/242159070>

# feed

[nfrankel]

https://vimeo.com/242159070

[voddan]

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

[nfrankel]

also, it’s fun and full of energy

[diego-gomez-olvera]

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

[nfrankel]

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