Wadler's Blog: May 2024Published bywadler.blogspot.comon •1 min readI'm looking forward to speaking in Lisbon.AgdaProgramming LanguagesFunctional ProgrammingLabels: Agda Programming LanguagesLabels: Programming LanguagesLabels: Functional ProgrammingLearn moreShareLegalReport
