Heh. I photographed this slide too.
(ps. this was a really enjoyable set of talks from a lot of very clever people!)
Quote Tweet
John Leo invoking the sacred scriptures at @PNWPLSEWorkshop Harperites indeed!
2
12
Conversation
Replying to
Not sure. That talk was a fairly narrow application of dependent types to musical composition though. Not language-design oriented.
1
Hah, sounds neat though, I like those weird connections. :)