/test-package/JumpToLetBindingWithIndex.dhall
Copy path to clipboardAlthough we have a similar example on this file, this example showcases the jump-to-definition feature when indexes are used.
Source
{-|
Although we have a similar example on this [file](./RenderTypeIndexesExample.dhall),
this example showcases the jump-to-definition feature when indexes are used.
-}
let a = 1
let a = 2
in a@1