Talk PL-theory from ATP to HoTT, and PL-practice from languages to tools.
The enjoyment of one’s tools is an essential ingredient of successful work. – Donald Knuth
Article & paper discussions, ideas, and stories
Updated by gasche
Languages, tools, ideas, and stories
Updated by rain1
Everything else
Updated by IvanV
Discussions about these forums
Updated by rain1