"System injection" is apparently the major novelty in this language. But it's not described in detail, and I'm not finding it on Google. What is it? Is it important?
From what I just saw on their website it looks like an other way to implement what an IO monad in Haskell gives you, which is to write code that pretends functions that in reality have side effects are pure. This is achieved in part by passing around some Context (World in Haskell) that encapsulates the "state of the world" onto which the side effects act upon.