Elucidations cover image

Episode 79: Anthony S. Gillies discusses conditionals

Elucidations

00:00

Applying Strict Analysis to Complex Ifs

Gillies shows how his strict conditional handles nested conditionals and licenses key inference patterns.

Play episode from 22:10
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app