Hello world

Validated recording for these source inputs.

• Source and dependencies

• Cast file

• Provenance

Record this example

python scripts/record.py helloworld

Source

using Replay

instructions = [
    """
    function greet(msg::String="Hello!")
        println(msg)
    end
    """,
    "greet()",
    """greet("Hello, World!")""",
]

replay(instructions, use_ghostwriter=true)