PLFA agda exercises
count: 3
github: odanoburu
name: bc²