The Rockstar programming language specification - View it on GitHub