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

Auto gas #29

Open isovector opened 3 years ago

isovector commented 3 years ago

Auto currently loops itself. But it would be nice if we could introduce the concept of "gas," and let different choices take different amounts of gas. Maybe penalize choices for how many holes they introduce, which exponentially increases our search space.