<https://vimeo.com/242159070>
# feed
n
v
One of the best talks on the K type system, if not the best 👍
n
also, it’s fun and full of energy
d
I like the format using code & comments in the IDE instead of slides
n
that felt strange to me at first but i cannot say i dislike it 🙂