resolver: lts-18.14 # or ghc-8.10.7

packages:
- .

extra-deps:
- leancheck-0.9.10