Why are people scared of PL? Especially type theory and proof assistants and so on? A professor recently said my work had a reputation of being "so hard basically nobody else can do it" and I'm flattered, but I also don't think it's true at all.
40
6
135
