These days, this is all you need for it to work: ``` Console.WriteLine("Hello, World!"); ```

rosettacode.org also has other tasks: https://rosettacode.org/wiki/Category:Programming_Tasks

    Sorry, you have been blocked
    You are unable to access jdunn.dev

    Why have I been blocked?

    This website is using a security service to protect
    itself from online attacks. The action you just performed
    triggered the security solution. There are several action
    that could trigger this block including submitting a certain 
    word or phrase, a SQL command or malformed data.

def main : IO Unit := IO.println "Hello, world!"

Also Coq was renamed to Rocq