cabal-version: 2.2
name:          agda-fold-equations
version:       0.1.0.0

executable agda-fold-equations
  hs-source-dirs:      src
  main-is:             Main.hs
  default-language:    Haskell2010
  build-depends:       base >= 4.7 && < 5
                     , tagsoup
                     , text