homepage: ''
changelog-type: ''
hash: 14eb4321c5495bf11abb2eaeed23d11e45b47e9f9567e7d545cae2a99dc19bb1
test-bench-deps: {}
maintainer: mpg@mpg.is
synopsis: Hole-Fit Synthesis using ECTAs
changelog: ''
basic-deps:
  ghc: '>8.10 && <9'
  base: '>=4 && <5'
  text: '>1.2 && <=1.3'
  ecta: '>=1.0 && <1.1'
  containers: '>0.6 && <=0.7'
all-versions:
- 0.1.0
- 0.1.0.1
- 0.1.1.1
- 0.1.1.2
author: Matthías Páll Gissurarson
latest: 0.1.1.2
description-type: haddock
description: |-
  A hole-fit plugin for GHC that uses an ECTA to synthesize valid hole-fits.
  See <https://github.com/jkoppel/ecta> for more details on ECTAs!
license-name: MIT

homepage: ''
changelog-type: ''
hash: a77631007cc2ec393022047be2a25be4bc1045ee0ceff033ca5aa8d0c7a42c84
test-bench-deps: {}
maintainer: mpg@mpg.is
synopsis: Hole-Fit Synthesis using ECTAs
changelog: ''
basic-deps:
  ghc: '>8.10 && <9'
  base: '>=4.14 && <4.15'
  text: '>1.2 && <=1.3'
  ecta: '>=1.0 && <1.1'
  containers: '>0.6 && <=0.7'
all-versions:
- 0.1.0
- 0.1.0.1
- 0.1.1.1
- 0.1.1.2
- 0.1.1.3
author: Matthías Páll Gissurarson
latest: 0.1.1.3
description-type: haddock
description: |-
  A hole-fit plugin for GHC that invokes Hectare (based on ECTAs) to synthesize
  valid hole-fits.  See <https://github.com/jkoppel/ecta> and
  <https://dl.acm.org/doi/10.1145/3547622> for more details on ECTAs and Hectare!
license-name: MIT

Update from Hackage at 2022-09-15T10:33:15Z
Update from Hackage at 2022-09-15T10:33:15Z
