04 May 2024
1h 0m
(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019
GOTO Conferences
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.