resolver: lts-19.19 # or ghc-9.0.2

packages:
- .

extra-deps:
- leancheck-1.0.0