chtenb

> but my understanding is that there is still a sort of subtyping between rows I'm not well versed in type theory at all and also not familiar with the...

Yeah, good point. I hadn't thought about the fact that effects support duplicate labels, and that's indeed not what you would want from structural types.

When both settings are set to false in .editorconfig, `dotnet format` sorts the namespace imports: ``` dotnet_separate_import_directive_groups = false dotnet_sort_system_directives_first = false ``` > We use the presense of either...

> Since there is not a setting which says, "I want my imports organized", we take the inclusion of either of these settings in your .editorconfig to mean that you...

Okay, so "false" is not in fact the default for these settings as documented, but "absence" is the default, which has the effect of not organizing imports. This is confusing...

I've used this branch for two months now, and did not experience a single crash. Thanks for making this fix @FrancescElies so we have a crash free wezterm experience on...

Not bad, I agree that red should be used more sparingly. I think it would be nice if we can leave the `check :` stuff highlighted distinctly. I think magenta...

Interesting. The `Break`/`Continue` vocabulary is very charming. What are your thoughts on having different isomorphic types in the core library, like `maybe` and `while`? So continuing on your example, the...

> It does feel a bit weird to look for an element in a list with foreach-while This is probably different for everyone. For me that was a natural way...

Yes, that is what I alluded to in the last sentence. But note that if `maybe` is the canonical representation of its isomorphism class, and all the utility functions are...