CSE341 -- Running Miranda

The system is available on the instructional linux cluster (attu.cs.washington.edu). To run it, type 
mira
To load in an existing file named myfile.m, type 
mira myfile.m
For a list of useful commands within Miranda type /help. These include the ability to edit the current program (or script, to use Miranda terminology). To do this, type /edit. The newly edited script is then loaded in. Other commands: 
/man  - online manual
/quit (or  control d)
The standard environment (visible as an option in the online manual) is a good place to look for Miranda functions written in good style.

The default editor is vi, but you can change this by adding the following line to your .cshrc file: 

setenv EDITOR /usr/local/bin/emacs
Miranda is an interactive text-oriented environment. Examples: 
Miranda  3+4
  7

Miranda  8 : [1..10]
  [8,1,2,3,4,5,6,7,8,9,10]

Miranda  [1,2,3] ++ [8,9]
  [1,2,3,8,9]

Miranda  member [1,2,3] 8
  False
To define a function: 
double x = x+x
Function and other definitions must go in a file (script); Miranda distinguishes between definition mode (when reading from a file) and evaluation mode.