PLFA agda exercises
resolver: lts-21.7
compiler: ghc-9.4.5
compiler-check: match-exact

packages:
- '.'