Formal languages, coinductively formalized in Agda

This is a EUTypes MC&WG meeting. It takes place in connection with a workshop on Syntax and Semantics of Type Theory workshop (SSTT), organized by Vladimir Voevodsky and Andrej Bauer. Both meet...