Wearing a khaki suit and a Panama hat, Philip Wadler meets his audience for the Distinguished Lecture (Programming Languages) in Agda = Programming (Languages in Agda), organized within the scope of the BIG ERA Chair Project. This time, we got the explorer’s look. For other…