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

Allow recursion #7

Closed isovector closed 3 years ago

isovector commented 3 years ago

Right now auto won't recurse, but it would be nice if it did. We'd need to prove we had something structurally smaller --- which we have access to with our pattern vals provenance.