2.1.2 Programs

2.1

2.1.1	Primitives and Literals
2.1.2	Programs
2.1.3	Import Statements
2.1.4	Provide Statements
2.1.5	Bindings
2.1.6	Blocks
2.1.7	Declarations
2.1.8	Statements
2.1.9	Expressions
2.1.10	Annotations

← prev up next →

2.1.2 Programs

Programs consist of a sequence of import or provide statements, followed by a block:

‹program›: ‹prelude› ‹block› ‹prelude›: [‹provide-stmt›] [‹provide-types-stmt›] (‹import-stmt›)* ‹provide-types-stmt›: provide-types ‹record-ann› | provide-types *

← prev up next →

1	Getting Started
2	Language Concepts
3	Builtins and Libraries
4	Internals

2.1	Language Constructs
2.2	Testing
2.3	equality
2.4	Brands
2.5	Type Checking