Some lecture materials from CS 3820, "Programming Language Concepts", at The University of Iowa Spring 2020. I am posting these as part of taking my class virtual due to the COVID-19 pandemic. The part of the class covered is mostly on Agda.