ecta-plugin: Hole-Fit Synthesis using ECTAs

[ compiler-plugin, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

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!

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 && <5), 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-14T14:54:30Z
Distributions
Downloads 277 total (20 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]