Specification:

• Source Language
  • Concrete Syntax
    • Modules
    • Declarations
    • Types
    • Guards
    • Terms
    • Abstraction
    • Binding
    • Matching
    • Regions
    • Effects
• Core Languages
  • Concrete Syntax
    • Names
    • Modules
    • Declarations
    • Types
    • Terms
  • Static Semantics
    • Kinds of Types
    • Types of Terms
  • Core Discus Fragment
    • Primitive Types
    • Arithmetic Operators
    • Cast Operators
    • Vector Operators
    • Error Operators
    • Closure Operators
  • Core Salt Fragment
    • Primitive Types
    • Arithmetic Operators
    • Cast Operators
    • Store Types
    • Store Operators
    • Control Operators
  • Shimmer Inferface Files
    • Modules
    • Exports
    • Imports
    • Data Declarations
    • Types
    • Terms