Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. The language was widely taken up, both for research and for teaching, and had a strong influence on the subsequent development of the field, influencing in particular the design of Haskell, to which it has many similarities. Miranda is however a simpler language. Here is a s