[a-saleh]

> Should languages create higher-level abstractions to allow humans to reason about programs more efficiently? Yes! But that's not what this environment is about.

I think it actually is. Under the hood, when you look beyond the "Literate programming is awesome" it seems to be more along the lines of terse reactive prolog?

I am not sure if they managed to do what they envisioned, but this might be the "next spread-sheet".