effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link

Add jump-to-definition for imports #676

Closed b-studios closed 2 weeks ago

b-studios commented 2 weeks ago

This addresses #660

b-studios commented 2 weeks ago

Would be great if somebody could try this out, before merging.