Arch Docs

Introduction

Initializing search

Home
Arch
Installation
Syntax
Theory

Arch Docs

Home
Arch
Arch
- Evaluating Expressions
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
  - Char
Theory
Theory
- Effect Algebra
- Introduction

Introduction

Arch is a programing language based on dependent type theory.

Made with Material for MkDocs