Ship Lexicon

Short term definitions. Full behavior lives in executable book tests.

Type system

• hm-inference.md

• kind.md

• variant.md

• open-variant.md

• tag.md

• coercion.md

• open-binder.md

• row.md

• row-extension.md

• row-subtraction.md

• lacks-constraint.md

• primary-type.md

• gadt.md

• higher-rank-polymorphism.md

Errors & effects

• error-channel.md

• error-row.md

• effect-row.md

Services & capabilities

• service.md

• provide.md

Modules & behavior

• named-adapter.md

• behavior-dictionary.md

• shc-contract.md

Values & runtime

• persistent-collection.md

• uniqueness-and-linearity.md

• modality.md

• wire-shape.md

• schema-type.md

Database

• typed-sql.md

• ship-db.md

Tooling

• golden-expect-test.md

• cram-test.md