کد منبع کامپایلر زبان Miranda تحت مجوز باز (BSD 2-clause) منتشر شد. میراندا یک زبان برنامه نویسی تنبل تابعی است که در سال 1985 توسط دیوید ترنر ایجاد شد و به طور گسترده در دهه 80 و 90 برای آموزش برنامه نویسی تابعی استفاده شد. همچنین به نمونه اولیه زبان محبوب هسکل تبدیل شد که از جمله به دلیل کد منبع بسته میراندا به وجود آمد.
منبع: linux.org.ru