3 ms·
The most useful takeaway from that graph is the insight into how many type theory aficionados look at the world.
by rtfeldman 13y ago
The most useful takeaway from that graph is the insight into how many type theory aficionados look at the world.