4 ms·Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E62 points by matt_d 6mo ago