PLFA agda exercises
resolver: lts-20.26
compiler: ghc-9.2.8
compiler-check: match-exact

packages:
- '.'