resolver: lts-15.6 # or ghc-8.8.3

packages:
- .

extra-deps:
- leancheck-0.9.3
- speculate-0.4.2
- express-0.1.3