Join Slack
Powered by
<https://vimeo.com/242159070>
# feed
n
nfrankel
11/11/2017, 11:12 AM
https://vimeo.com/242159070
👍 8
v
voddan
11/12/2017, 6:07 AM
One of the best talks on the K type system, if not the best 👍
n
nfrankel
11/12/2017, 11:54 AM
also, it’s fun and full of energy
d
diego-gomez-olvera
11/13/2017, 10:55 AM
I like the format using code & comments in the IDE instead of slides
n
nfrankel
11/13/2017, 8:36 PM
that felt strange to me at first but i cannot say i dislike it 🙂
2
Views
Open in Slack
Previous
Next