Hide navigation sidebar

Hide table of contents sidebar

Toggle site navigation sidebar

Crochet 0.14 documentation

Toggle table of contents sidebar

Crochet 0.14 documentation

The Crochet System
Toggle navigation of The Crochet System
- What’s Crochet?
- Installing Crochet
- How is Crochet structured?
  Toggle navigation of How is Crochet structured?
  - The Crochet universe
  - Package configuration
- Data and types
  Toggle navigation of Data and types
- Commands
  Toggle navigation of Commands
- Computing with Crochet
  Toggle navigation of Computing with Crochet
  - Execution models
  - Naming values
  - Intrinsic data types
    Toggle navigation of Intrinsic data types
  - Applying programs and commands
  - Using data
  - Equality
  - Branching
  - Working with multiple values
- Effects
  Toggle navigation of Effects
- Verification
  Toggle navigation of Verification
  - Example-based testing
  - Contracts
- Foreign interfaces
  Toggle navigation of Foreign interfaces
  - Writing external functions
  - The FFI type
- Security and capabilities
  Toggle navigation of Security and capabilities
- Annex A: Design philosophy
- Annex B: Sociology and linguistics
Crochet’s API Reference
The Brief Syntax Cheatsheet
Toggle navigation of The Brief Syntax Cheatsheet
- Declarations
  Toggle navigation of Declarations
  - capability
  - command
  - define
  - effect
  - handler
  - implement
  - local
  - open
  - prelude
  - protect
  - test
  - trait
  - type
- Expressions
  Toggle navigation of Expressions
  - Statements
    Toggle navigation of Statements
    - assert expression
    - let expression
  - Complex expressions
    Toggle navigation of Complex expressions
  - Atomic expressions
    Toggle navigation of Atomic expressions
Contributing to Crochet
Toggle navigation of Contributing to Crochet
Glossary

Back to top

Toggle table of contents sidebar

Boolean literals#

Boolean literals use the following syntaxes:

true

false

Made with Sphinx and @pradyunsg's Furo