Descrição
Ideias de programação funcional podem ser exploradas com a implementação da linguagem Miranda. Estudantes, historiadores de linguagens e desenvolvedores a usam para estudar uma linguagem funcional lazy clássica que influenciou linguagens posteriores.
É um ambiente de linguagem de programação, não uma IDE moderna de uso geral. Compatibilidade de código-fonte e expectativas de ferramentas devem ser verificadas antes de usá-la em projetos novos.