@hackage ecta-plugin0.1.1.1

Hole-Fit Synthesis using ECTAs

Categories
License
MIT
Maintainer
mpg@mpg.is
Links
- Documentation
- No source repository
- Security
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 && <5
- containers >0.6 && <=0.7
- ecta >=1.0 && <1.1
- ghc >8.10 && <9
- text >1.2 && <=1.3
Dependents (0)

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!