PLFA agda exercises
resolver: lts-16.5
compiler: ghc-8.8.3
compiler-check: match-exact

packages:
- '.'