El código fuente del compilador del lenguaje Miranda se publicó bajo una licencia abierta (BSD de 2 cláusulas). Miranda es un lenguaje de programación funcional diferido creado en 1985 por David Turner y ampliamente utilizado en los años 80 y 90 para enseñar programación funcional. También se convirtió en el prototipo del lenguaje Haskell más popular, que surgió, entre otras cosas, gracias al código fuente cerrado de Miranda.
Fuente: linux.org.ru