Noether programming language