A functional programming language derived mostly from Miranda with some small changes. Amanda was written by Dick Bruin and implemented on MS-DOS and NeXT. It is available as an interperator only.