.TH MIRA 1 "November 2019"
.SH NAME
mira \- the Miranda(tm) functional programming system
.SH SYNOPSIS
.B mira
[options]
[file]
.fi
.SH DESCRIPTION
Miranda is a functional programming system with lazy evaluation,
polymorphic strong typing and function definition by pattern matching.
.SH SEE ALSO
.PP
.B http://miranda.org.uk
the Miranda home page.
.PP
D.A.Turner \fBAn Overview of Miranda\fP, SIGPLAN Notices, 21(12), December 1986.
A convenient summary of the main features of Miranda.
.SH COPYRIGHT
The Miranda system  is  Copyright  (c)  Research  Software
Limited 1985-2019. For distribution terms see the file "COPYING" included
in the distribution.