Mason Protter

For what it's worth, I'm working on some code that involves a lot of multiplications between matrices with single bands and I had naively assumed this would just be screaming...

Maybe the solution is having `simplify_ex` turn `x[inds...] = y` into `setindex!(x, y, inds...)`?

I tried this branch to see if if fixed #522, and while I no longer get the warnings, the ansi colours are no longer displayed:  vs before: 

Oh interesting, yeah a `revert-buffer` did work!

Yeah I've also wanted this for a while, I suspect the machinery to do this is probably just broken in emacs-jupyter because of the non-standard ways it tries to handle...

I'm also hitting this.

Being able to emit something like ``` if @toplevel ... else ``` In analogy to `if @generated` which gets handled later on downstream would be pretty interesting, and I think...

There are local scopes which are not inside functions, like `let`.

Oops, I forgot to add this to the docs when I wrote it. Thanks for putting it in!

I don't see how `@assume` is associated with not being removed. If anything, I'd think that `@assume x > 1` is saying "I promise that x is greater than 1,...