Closed this issue 8 years ago · 1 comments
https://github.com/ionide/ionide-vscode-fsharp/blob/master/src/Components/CodeLens.fs
This feature is pointless since Idris force to write type signature for every definition.