egison-5.0.0: sample/io/hello.egi
-- -- This file has been auto-generated by egison-translator. -- def main (args: [String]) : IO () := print "Hello, world!"
-- -- This file has been auto-generated by egison-translator. -- def main (args: [String]) : IO () := print "Hello, world!"