Skip to content
pod
nod
The sheet
Charts
Categories
Apps
Menu
/
Sign in
Open the app
podnod
Iowa Type Theory Commute
A Strange Deal, Explained
IT
Iowa Type Theory Commute · May 7 · 8 min
A Strange Deal, Explained
I explain the story from last episode.
0:00
-8:23
1×
Subscribe
Play in
Share
transcript
No transcript — this publisher did not publish one.
show notes
I explain the story from last episode.
more
more episodes
IT
Great paper: Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
October 21 · 17 min
IT
Autoformalization of Fermat's Last Theorem
September 15 · 14 min
IT
A Fireball of Alpha
August 21 · 20 min
IT
Solving Quadratic Word Equations
August 11 · 22 min
IT
A little bit about word equations
August 3 · 17 min
IT
Coercive subtyping and coherence
July 1 · 20 min
All episodes
