10 lines (7 loc) · 439 Bytes

Goose primitives

Primitive functionality provided by goose. Everything here is given a trusted model of its execution.

For common functionality that is verified rather than trusted, use goose-lang/std.