Miranda 语言编译器的源代码是在开放（BSD 2 条款）许可下发布的。 Miranda 是一种函数式惰性编程语言，由 David Turner 在 1985 年创建，并在 80 年代和 90 年代广泛用于教授函数式编程。 它也成为更流行的 Haskell 语言的原型，该语言的出现主要是由于 Miranda 的封闭源代码。
来源： linux.org.ru
Miranda 语言编译器的源代码是在开放（BSD 2 条款）许可下发布的。 Miranda 是一种函数式惰性编程语言，由 David Turner 在 1985 年创建，并在 80 年代和 90 年代广泛用于教授函数式编程。 它也成为更流行的 Haskell 语言的原型，该语言的出现主要是由于 Miranda 的封闭源代码。
来源： linux.org.ru