Programming Language Fundamentals in Agda (via solomon) — discussion

#math #plt