A statically-typed programming language for the web - View it on GitHub