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.
- official website (http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html)