@hackage ecta-plugin0.1.1.3

Hole-Fit Synthesis using ECTAs

Categories
License
MIT
Maintainer
mpg@mpg.is
Links
- Documentation
- No source repository
Versions
- 0.1.1.3 Thu, 15 Sep 2022
- 0.1.1.2 Wed, 14 Sep 2022
- 0.1.1.1 Wed, 14 Sep 2022
- 0.1.0.1 Wed, 14 Sep 2022
- 0.1.0 Wed, 14 Sep 2022

Installation
In your cabal file:
Dependencies (5)
- base >=4.14 && <4.15
- containers >0.6 && <=0.7
- text >1.2 && <=1.3
- ecta >=1.0 && <1.1
- ghc >8.10 && <9
Dependents (0)

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!