name: ecta-plugin cabal-version: 1.24 build-type: Simple version: 0.1.1.1 author: Matthías Páll Gissurarson maintainer: mpg@mpg.is synopsis: Hole-Fit Synthesis using ECTAs description: A hole-fit plugin for GHC that uses an ECTA to synthesize valid hole-fits. See for more details on ECTAs! category: Compiler Plugin license: MIT license-file: LICENSE library default-language: Haskell2010 build-depends: base >= 4 && < 5, ghc > 8.10 && < 9, text > 1.2 && <= 1.3, containers > 0.6 && <= 0.7, ecta >= 1.0 && < 1.1 exposed-modules: ECTA.Plugin, ECTA.Plugin.Utils