agda-regular-langs For a talk based on Conal Elliott's Symbolic and Automatic Differentiation of Languages