search

isovector / haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Apache License 2.0
0 stars 2 forks source link

Apply tactic to all subgoals #11

Open isovector opened 4 years ago

isovector commented 4 years ago

Right now you need to be hovering over a hole to complete it. But it would be nice if you could instead hover over an AST and have code actions to run tactics over every subgoal.