@hackage / ecta-plugin

Hole-Fit Synthesis using ECTAs

Latest0.1.1.3

Metadata

Last updated 15 Sep 2022, by tritlo
License MIT
Maintained by: mpg@mpg.is
Lottery factor: 0

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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!