PLFA agda exercises
resolver: lts-14.27
compiler: ghc-8.6.5
compiler-check: match-exact

packages:
- '.'