The Go¨del programming language