ecta-plugin

Hole-Fit Synthesis using ECTAs.

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!