logo

(Programming Languages) in Agda = Programming (Languages in Agda)

Philip Wadler @ Full Stack Fest 2019

More from Full Stack Fest 2019

More from Philip Wadler