Imported modules have incorrect type
Closed this issue · 1 comments
Luukdegram commented
Currently, all imported functions have as type module
. This causes errors during type checking.
This depends on #10.
Luukdegram commented
Was incorrectly closed by #15