Getting Started

Welcome to daitai. This page is the shortest path from "I just heard about this" to "I have something running."

1. What is daitai, again?

daitai is an algebraic platform — a language (daitai-lang), a formal algebra (daitai-algebra), an IDE (DPW), and a compliance graph format (CGF). All four are designed against the same constitution so they compose.

If you only learn one thing first, learn the principles. The rest of the system is a faithful implementation of those rules.

2. Install DPW

DPW is currently in invite-only beta. Sign up at dpw.daitai.org.

# macOS
brew install daitai-org/tap/dpw

# Linux
curl -sSL https://get.daitai.org/dpw | bash

# Windows (PowerShell)
iwr -useb https://get.daitai.org/dpw.ps1 | iex

Verify the install:

dpw doctor

3. Your first workspace

dpw new hello-daitai
cd hello-daitai
dpw run

DPW will scaffold a workspace, install the algebra, and open the editor.

4. Read these next

• The principles (P01–P23) — the constitution every part of daitai obeys.
• The bra-ket primitives — the smallest interesting piece of the algebra.
• CGF in 5 minutes — sign your first compliance bundle.