Matthew Flatt

It turns out that indenting doesn't change the content of the at-expression, because the at-reader is defined to discard any leading whitespace that appears on all lines.

To see the information that `raco pkg` gets from the pkg server, see `raco pkg catalog-show unlike-assets-test`: ``` Package name: unlike-assets-test Author: [email protected] Source: https://github.com/zyrolasting/unlike-assets.git?path=unlike-assets-test#7fb08d6902d34399c96a325d6d27f1ff84813b Checksum: 7fb08d6902d34399c96a325d68fd27f1ff84813b Tags: Description: (OLD...

> I think that the --checksum argument, and checksums in general, should be projections (in the contract semantics sense). So nothing that fails without the checksum should be made to...

Are the CI failures for the PR something to be fixed, first? I'm not really clear on how this is supposed to work.

@tgbugs I generally agree with @jeapostrophe. The lang-inclusion part of your PR seems to me in a different direction and/or maybe too early in the overall process, and I'm not...

@jeapostrophe A few small questions: Is the strict spacing requirement a question of style (i.e., ensuring that all program have the same shape) or is it important to parsing? Is...

@jeapostrophe To refresh my memory and improve my understanding of Lexprs, I tried converting "demo.sap" to Lexprs: https://gist.github.com/mflatt/aa09fd2ac9e445bbddd99f6243a21458 Does that look like the kind of syntax that would you choose?...

Ah, I missed that a line continues after a last `|`, similar to the way that a `:`-continued line continues after nested indentation. (Does the description say that?) And I...

I updated the examples slightly, replacing most `\`s with `:`s (which I think looks better and parses fine).

@SimonLSchlee Your "another possibilty" is reality. The distribution process is implemented by the `distro-build` package. The main Racket distribution is a package called "main-distribution". The Northwestern snapshot builds are "Racket...