PLFA agda exercises
name: Jeremy G. Siek
email: jsiek@indiana.edu
corresponding: true
github: jsiek