PLFA agda exercises
resolver: lts-19.33
compiler: ghc-9.0.2
compiler-check: match-exact

packages:
- '.'