Agda-2.6.0: stack-8.6.4.yaml

resolver: lts-13.16

extra-deps:
- EdisonCore-1.3.2.1
- data-hash-0.2.0.1
- equivalence-0.3.4
- geniplate-mirror-0.7.6
- EdisonAPI-1.3.1
- STMonadTrans-0.4.3

flags:
  time-locale-compat:
    old-locale: false

  transformers-compat:
    five-three: true

# Local packages, usually specified by relative directory name
packages:
- '.'