Something I’d like to get up to in my 30s: building a catalogue of folk knowledge in PLT, centered around type theory and its relationship to implementation—there’s so much incredibly useful insight scattered across papers and blog posts that I’ve just “picked up somewhere”
Conversation
This Tweet was deleted by the Tweet author. Learn more
Yeah, this would be handy!
1
1
Thankfully have had lots of interesting discussions on the Pikelet gitter, but it’s a hard format to search after the fact 🤔