ecta-plugin: Hole-Fit Synthesis using ECTAs

[ compiler-plugin, library, mit ] [ Propose Tags ]

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!

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.1.0.1, 0.1.1.1, 0.1.1.2, 0.1.1.3
Dependencies base (>=4.14 && <4.15), containers (>0.6 && <=0.7), ecta (>=1.0 && <1.1), ghc (>8.10 && <9), text (>1.2 && <=1.3) [details]
License MIT
Author Matthías Páll Gissurarson
Maintainer mpg@mpg.is
Category Compiler Plugin
Uploaded by tritlo at 2022-09-15T10:21:32Z
Distributions NixOS:0.1.1.3
Downloads 102 total (8 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]