Q — equational programming language