These are chat archives for evhub/coconut
stris a subtype of
List[str]), since if you iterate over a
stryou do in fact get
strshould compile to
List[str]instead is the question of that issue.
strto specify it should be a list of str? List[str] doesn’t seem to work. Sorry if I missed it in #353