Language Reference

• Build system
  • Tasks
  • Scheduling
  • Keys
  • Options
  • Metadata
  • Commands
  • Cleaning
  • Cached build
  • Remote Builds
  • Parallel Execution
• Code of conduct
  • Definitions
  • Interpretive Principles
  • Jurisdiction
  • Prohibited Conduct
  • Code Administrative Structure
  • Interim Measures
  • Procedures for Allegations
  • Sanctions
  • Confidentiality
  • Attribution
  • Footnotes
• Dispatch
  • Overview
  • Formal definition
  • Conditions
  • Priorities
• Errors
  • Ambiguous identifier
  • Automatic error propagation
  • Bad indentation
  • Shadowing in a block
  • Confusuable Unicode
  • Default arguments
  • Deprecated default arguments
  • Equal priority clauses
  • Failed assert
  • Implicit argument not passed
  • Inapplicable to type
  • Invalid UTF8
  • Map on non-collection
  • Meaningless term
  • Missing override
  • Shadowing nested block
  • No fixed point
  • Nondeterministic use of concurrency
  • Nondeterministic use of exceptions
  • Top-level non-deteterministic dispatch
  • Applying a non-function
  • Non-NFC
  • Non-syntactic use of variadic arguments
  • Too many arguments
  • Typos in variable name
  • Unhandled exception
  • Unreachable case
  • Unreducible expression
  • Unused argument
  • Unused import
  • Unused result
  • Unused definition
• Metaprogramming
• Library
  • Numerics
  • Arrays
  • Iterators
  • Strings
  • I/O
  • Concurrency
  • Algorithms
• Logic
  • Jumbo connectives
  • Exponentials
  • Structural rules
  • Higher-order logic
  • Definitions
  • Infinite proof structures
  • Set theory
• Memory
  • Value representation
  • Pointers
  • Finalizers
  • References
• Modules
  • Access
  • With statement
  • Exports and internal symbols
  • Parameters
  • Linking
  • Overrides
• Syntax
  • Unicode
• Values
  • Symbols
  • Term
  • Lists
  • Strings
  • Bitvectors
  • Date/time
  • Records
  • Sets
  • Bags
  • Lambdas
  • Modules
  • Infinite values
  • Rewriting system
  • Pointers
  • References
  • Data Structures