3 ms·
You are being needlessly antagonistic. On HN of all places we should know that research in type theory isn't purely academic navel gazing.
by qsort 6y ago
You are being needlessly antagonistic. On HN of all places we should know that research in type theory isn't purely academic navel gazing.