flix

0.75.2

Hello

This project's own module.

Code declared here is documented under Hello and gets its own page from ./flixw doc. Anything left in the root namespace is instead folded into the standard library's own Prelude page, where it is indistinguishable from the library -- which is why only main lives out there, and only because Flix requires the entry point at the root.

Definitions

def greeting(name: String): String§ Source

Returns the greeting for name.

Kept apart from main so there is something to test: main is effectful and writes to the terminal, while this is pure and returns its result.