cotalks.dev

(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler

(link)
Event: Full Stack Fest 2019
Channel: Codegram