Hello World String

This file defines a basic greetings string constant.

Main definitions

• hello: A constant string containing the text "world".

Tags

greeting, string, tutorial

def hello : String

A constant string greeting the world.

Equations

• hello = "world"