PLFA agda exercises
resolver: lts-12.26
compiler: ghc-8.4.4
compiler-check: match-exact

packages:
- '.'