Coyote programming language