Nick Smith

Also, it might be worth updating the README with this information to save the next poor soul some time :)

The desired semantics for this new feature seems very ill-defined to me. For the FilePath example, you'd want to ensure that the set of operations that will typecheck on such...

IMO this is a good request. Whilst the two letters are unambiguous _within this font_, when readers encounter a piece of text where they are not sure what font is...

IMO it's worth considering making larger quotes the default, because I doubt many people would prefer the tiny quotes. In general, bigger and chunkier glyphs are easier to read.

If this font adds support for ligatures at some point, may I suggest being conservative? Many fonts that support ligatures go crazy, supporting all kinds of weird glyph pairs that...

Personally I'm not a fan of arbitrary variable shadowing — there's been at least two occasions in my life where I've had a bug that was caused by accidentally shadowing...

@lattner Is it intentional that the Mojo compiler currently permits shadowing from within a nested scope, but not from within the same scope? i.e. is it intentional that the following...

@Mogball I agree that the semantics for shadowing needs to be principled. There are at least two steps involved in justifying a semantics: 1. Establish a need (e.g. readability) that...

@BreytMN As you say, that has nothing to do with shadowing. Perhaps it is worth starting a different thread on the topic of variable initialization in `def`s.

I understand what you mean, and I believe we want the same aesthetic for the font. My belief that the `l` is a bit too subtle is drawn from my...