2 ms·
> Always fun to encounter disparaging comments I can't imagine why anyone would ever treat your bombastic proclamations about type theory with suspicion.
by frumplestlatz 1y ago
> Always fun to encounter disparaging comments
I can't imagine why anyone would ever treat your bombastic proclamations about type theory with suspicion.
- practal 1y agoWhat is bombastic about them?