Quirinus programming language