/test-package/JumpToLamBindingWithIndex.dhall
Copy path to clipboardOn this example, we introduce the a
variable in the two parameters of the
fun
function and the jump-to-definition engine correctly highlights the usage
when indexes are used
Examples
fun "a" "b" ≡ [ "ab" ]