PLFA agda exercises
import Distribution.Simple

main = defaultMain