egison-2.4.6: sample/io/argv-test.egi
(define $main
(lambda [$world $argv]
(do {[$world (write-string world "output : ")]
[$world (write world argv)]
[$world (write-char world '\n')]}
world)))
(define $main
(lambda [$world $argv]
(do {[$world (write-string world "output : ")]
[$world (write world argv)]
[$world (write-char world '\n')]}
world)))