Описание тега miranda
Миранда - чистый, нестрогий, полиморфный язык функционального программирования высшего порядка.
Для получения дополнительной информации посетите домашнюю страницу Миранды.