Stav dette: Functional programming with Miranda /