A language for writing safe expressions, in a tiny subset of JavaScript. - View it on GitHub