My first Litvis document

September 2, 2020 ยท View on GitHub

message : String
message =
    "Hello, world"