mrallo/miranda

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.