PLFA agda exercises
name: Wen Kokke
email: me@wen.works
corresponding: true
github: wenkokke