lol-typing-1.20160822: stack.yaml

flags: {}
extra-package-dbs: []
packages:
- '.'
- ../calculus
extra-deps:
- Cabal-1.24.0.0
- monad-classes-0.3.1.1
- peano-0.1.0.1
- uuagc-0.9.52.1
- uuagc-cabal-1.0.6.0
- uulib-0.9.22
explicit-setup-deps:
  '*': true
resolver: lts-6.12