Miranda is a functional programming language from the 1980s. It was not seen as a tool to teach functional programming. Miranda affected other programming languages like Haskell, but it is not used very much anymore.