O código fonte para o compilador da linguaxe Miranda foi lanzado baixo unha licenza aberta (BSD de 2 cláusulas). Miranda é unha linguaxe de programación preguiceiro funcional creada en 1985 por David Turner e moi utilizada nos anos 80 e 90 para ensinar programación funcional. Tamén se converteu no prototipo da linguaxe Haskell máis popular, que xurdiu, entre outras cousas, debido ao código fonte pechado de Miranda.
Fonte: linux.org.ru