Namespace declaration

A namespace declaration tells Unison that the terms and types inside a scratch file should be qualified with the given namespace prefix.

namespace exercise.part1

foo = "abc"

scratch/main> add

  ⍟ These new definitions are ok to `add`:

    exercise.part1.foo : Text

Currently, namespace declarations are scoped to the entire scratch file. You cannot have more than one namespace declaration appearing in a single file.