miranda-lang
There are 3 repositories under miranda-lang topic.
mrallo/miranda
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.
seanpm2001/Learn-Miranda
A repository for showcasing my knowledge of the Miranda programming language, and continuing to learn the language.
seanpm2001/SNU_2D_ProgrammingTools_IDE_Miranda
The Miranda Programming language IDE submodule for SNU Programming Tools (2D Mode)