https://9dok.net/document/yr3jl6rv-a-language-with-distributed-scope.html