resolver: lts-11.22

extra-deps:
- async-2.2.1
- text-1.2.3.1

# Local packages, usually specified by relative directory name
packages:
- '.'
- 'src/fix-agda-whitespace'
- 'src/size-solver'