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

Fix 'jump to definition' for singleton operations (#646) #681

Closed jiribenes closed 2 weeks ago

jiribenes commented 2 weeks ago

Resolves #646

Tested locally, here's video proof: :)

Screen Recording 2024-11-08 at 14 54 13-2