test-package
A complex example of jump-to-definition on let-bindings
{-|A complex example of jump-to-definition on let-bindings-}let fun = λ(a : Text) -> λ(b : Text) -> λ(c : Text) -> λ(d : Text) -> [ a ++ b, b ++ c, c ++ d, d ++ a ] in fun