mumps-demo/01-the-very-basics/01-hello-world.mps

#!/usr/bin/mumps

  write "Hello world",!
the #! syntax used in the scripts 2019-09-24 17:33:58 +01:00			`#!/usr/bin/mumps`

two space indentation is used 2019-09-23 17:03:10 +01:00			`write "Hello world",!`