Ichoran

The witness-only (not opaque `Label`) version of `Hop` is here: https://github.com/Ichoran/kse3/blob/359c4e8fd1476db46ac060b8277745e3ca2718c8/basics/src/Abstractions.scala#L143-L163

I would tend to just leave it alone. `Target` is only six characters; any argument you have going from one character to four will apply even better going from four...

I think the most consistent way to handle this, given the behavior of other slice-of-array type of operations, is that mis-indexing into arrays throws an exception, if there's any mis-indexing...

Maybe we can add `.cc` as a method that turns a non-collection type into a collection. `name.cc*` doesn't seem too bad. Even `x.cc*` doesn't seem too bad to me. `x.toList*`...

The very annoying but possible workaround is to create a third file that has all the extensions that collide in it. Unlike the multiple-namespace situation, which has no workaround save...

The whole Dart implementation is wrong: it uses a full matrix instead of the two-alternating-rows algorithm in the reference implementation. This refactoring does not help.

Now that we have `inline`, which is an honest description of what is happening, maybe the docs should say that? The by-name annotation, in a context where by-name annotations necessarily...

Imagine being a new user and having to understand by-name parameters right off the bat, though! Inlining is conceptually related to concepts people have oodles of prior experience with, like...

Are you sure you want to make os-lib that deeply dependent on a fairly specialized feature? Might it be better to have an API-compatible alternative build so you could depend...

@lihaoyi - Well, the interface change is small, but it's going to touch a lot of code, and make every user of threads add an extra ThreadLocal variable to everything....