Skip to content

Artwork for Iowa Type Theory Commute

Iowa Type Theory Commute · May 7 · 8 min

A Strange Deal, Explained

I explain the story from last episode.

0:00-8:23

transcript

No transcript — this publisher did not publish one.

show notes

I explain the story from last episode.

more episodes

A Fireball of Alpha
August 21 · 20 min
Solving Quadratic Word Equations
August 11 · 22 min
A little bit about word equations
August 3 · 17 min
Coercive subtyping and coherence
July 1 · 20 min
A Strange Deal
May 1 · 2 min
Great paper: The Calculated Typer
April 20 · 23 min