Ripe Programming Language Specification