Miranda hizkuntza-konpiladorearen iturburu-kodea irekita (BSD 2 klausula) lizentzia batekin kaleratu zen. Miranda 1985ean David Turner-ek sortutako programazio lengoaia alferra funtzionala da eta 80ko eta 90eko hamarkadetan oso erabilia programazio funtzionala irakasteko. Haskell hizkuntza ezagunenaren prototipoa ere bihurtu zen, besteak beste, Mirandaren iturburu-kode itxiaren ondorioz sortu zena.
Iturria: linux.org.ru