resolver: lts-10.5
packages:
- '.'
- location: '../treemap'
  extra-dep: true
- location: '../treeseq'
  extra-dep: true
- location: '../localization'
  extra-dep: true
- location: '../symantic-cli'
  extra-dep: true
- location: '../symantic-document'
  extra-dep: true
- location: '../hjugement'
  extra-dep: true
extra-deps:
- monad-classes-0.3.2.2
- peano-0.1.0.1