Title: Verified Functional Programming in Agda
Subjects: Functional programming (computer science)