Imp: boxes

from blog Scattered Thoughts, | ↗ original
This is a part of a series - start at the beginning. Previous posts had fancy interactive examples. Keeping these in sync with constant language changes was taking a lot of time, so I'm abandoning them for now. They'll return when the language has settled enough to write docs. This is the thorniest part of imp. So far we've been dealing with first-order relations - sets of...