goto_definition feature

[marc-thieme]

Why is the goto_definition feature not implemented?

This would probably the most helpful addition for me.

I mean the particular goto_definition callback of the tower interface. For functions and variables, I would expect it to return the location of its let-declaration

Is this feature particularily hard to implement? Otherwise, I would maybe have a go at implementing it.