Lenguache de programación Miranda

Miranda estió desarrollau entre los anyos 1985 y 1986 por David Turner. Ye un lenguache de programación funcional succesor de SASL y KRC.

O principal obchectivo d'iste lenguache yera desenrrollar una versión comercial d'un lenguache funcional:
 no-estricto.
 funcional puro.

 Eixemplo 
Versión currying d'una función que incrementa en una unidat un numero:

 add a b = a + b
 increment = add 1

Miranda