A hole-fits plugin for GHC that uses an ECTA to synthesize valid hole-fits. See jkoppel/ecta for more details on ECTAs!
To try it out, go to TestPlugin/ and cabal build!
A hole-fit plugin using ECTAs
A hole-fits plugin for GHC that uses an ECTA to synthesize valid hole-fits. See jkoppel/ecta for more details on ECTAs!
To try it out, go to TestPlugin/ and cabal build!
A hole-fit plugin using ECTAs
MIT License