Skip to content

Arch Docs

Numbers

Initializing search

Home
Installation
Syntax

Arch Docs

Home
Installation
Installation
- Installation
Syntax
Syntax
- Condition
- Dependent Types
- Extends
- Function
- Generic
- If
- Loop
- Module
- Package
- Polymorphism
- Structure
- Subtyping
- Template
- Term
- Type
- Unit
- Universe
- Variable
- Base Types
  Base Types
  - Boolean
  - List
  - Numbers Numbers
    Table of contents
    
    Syntax
  - Char

Table of contents

Syntax

Numbers

Syntax

ℤ
ℤ⁺
ℤ⁻

ℕ
ℕ⁺

ℝ
ℝ⁺
ℝ⁻

ℂ

Made with Material for MkDocs