PLFA agda exercises
resolver: lts-18.0
compiler: ghc-8.10.5
compiler-check: match-exact

# extra-deps:
#   - filemanip-0.3.6.3
#   - unix-compat-0.5.2

packages:
- '.'