Вихідний код компілятора Miranda був випущений під відкритою (BSD 2-clause) ліцензією. Miranda - функціональна лінива мова програмування, створена в 1985 році Девідом Тернер і широко використовувався в 80х і 90х роках для навчання функціонального програмування. Також він став прообразом більш популярної мови Haskell, яка виникла в тому числі через закритість вихідного коду Miranda.
Джерело: linux.org.ru