resolver: lts-15.5 # or ghc-8.8.3

packages:
- .

extra-deps:
- leancheck-0.9.3