Open pbroadbery opened 5 years ago
Having to import every intermediate type gets a little boring.
It would be nice to have 'import from List' So that something like
foo := ["1"]
would infer as "List String"
Having to import every intermediate type gets a little boring.
It would be nice to have 'import from List' So that something like
foo := ["1"]
would infer as "List String"