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

> 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".