Miranda (programming language): Difference between revisions

Content deleted Content added
new section on name and logo
Add external links to the current source code for Miranda and a large example of a Miranda program
 
(14 intermediate revisions by 13 users not shown)
Line 1:
{{Short description|Programming language by David Turner}}
{{More footnotes needed|date=September 2016}}
{{Infobox programming language
| name = Miranda
| logo = [[File:Miranda logo (programming language).jpg]]
| logo caption =
| screenshot =
Line 36 ⟶ 37:
== Name ==
[[File:Miranda - The Tempest JWW.jpg|thumb|right|''Miranda'' by John William Waterhouse, 1917]]
The name ''Miranda'' is taken from the gerundive form of the latin verb {{lang|la|[[:wikt:miror|miror]]}}.,<ref>{{cite web |url=https://www.cs.kent.ac.uk/people/staff/dat/miranda/name.html |title=About the name Miranda |access-date=2024-05-18}}</ref> meaning "to be admired".
 
The logo features a rendition by [[John William Waterhouse]] of the character [[Miranda (The Tempest)|Miranda]] from Shakespeare's ''The Tempest''.
 
== Overview ==
Line 279 ⟶ 280:
 
==External links==
* {{Official website}}
* [https://codeberg.org/DATurner/miranda The currently maintained open source version] of Professor Turner's interpreter for Miranda.
* [http://bignum.sf.net The infinite precision math library], a large example of programming in Miranda (and Haskell).
 
{{Programming language}}