Modules

The daitai language specification. 39+ algebraic keywords, no null, no exceptions, bra-ket primitives, and a type system backed by the daitai algebra.

Immutable, algebraically composable 2D vectors. Exact rational arithmetic, closed under intersection, difference, rotation, and projection.