blob: a9ddb79837010cbd1d6e81b8f8988ce936eb31dc (
plain)
1
2
3
4
5
6
7
8
|
main is not found
------------ tooltips
testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {b : Num a} -> List a
testdata/language-features/basic-list/list11.lc 1:9-1:10 V1
testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2
testdata/language-features/basic-list/list11.lc 1:9-1:13 List V1
testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a
testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a
|