▲ 2 pointsGreat Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6pocketcasts.comby matt_d·3mo ago·0 comments·view on hn ↗