Paul Chiusano

Let's just do this in base with a `mapLeft` over the builtin.

> do we want to rename the builtin, and implement decompress.impl and decompress in base? Yeah, I think it's that. Same for the others.

Idea: `Request` pattern with one arg could be equivalent to `Request arg1 resume`. Often that's what you'd call the continuation anyway. You could still use `Request (Counter.set n) myContinuationName` if...

> On the one hand, I think it likely will make handler pattern matching easier for beginners to understand and maybe easier for everyone to read. On the other, I...

For better or worse, TDNR proceeds in rounds, where initially, all the TDNR variables are unsolved, and after each round we get a list of substitutions. These get substituted into...

@runarorama suggested the following fix, which requires no codebase format changes. When typechecking a file, we get a list of all the unique types. We then check the namespace for...

@ceedubs diff might have a short circuit if one of the arguments is an empty namespace. Can you humor me and add another point in history and then diff those?

Using Pretty.map, you can map over the segments of the Pretty. If those segments know their location, you can pick different colors for each location. This could be used for...

I'm not totally sure what would be the easiest refactor. However, at the moment I'm doing surgery on the lexer and parser to support the new documentation format, so I'd...

Test comment.