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

Generalized interface #1

Closed isovector closed 4 years ago

isovector commented 4 years ago

I cleaned up the interface so that we can contextually provide each tactic.

TOTBWF commented 4 years ago

This looks so much nicer!