diff options
Diffstat (limited to 'archive/2.vm/args.mu')
| -rw-r--r-- | archive/2.vm/args.mu | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/archive/2.vm/args.mu b/archive/2.vm/args.mu deleted file mode 100644 index 3726f097..00000000 --- a/archive/2.vm/args.mu +++ /dev/null @@ -1,8 +0,0 @@ -# To provide commandline args to a Mu program, use '--'. In this case: -# $ ./mu args.mu -- abc -# abc -def main text:text [ - local-scope - load-inputs - $print text 10/newline -] |