Miranda is a non-strict purely functional programming language developed by David Turner and marketed by Research Software Ltd. of England. It was the first purely functional language to be intended for use as a commercial tool rather than for academic purposes.
