Вступ
Документація Цілі 0.47.0

Простори

Запис просторів в Цілі відбувається так:

простір арифметика {
  дія додати(ціле, ціле) -> ціле;
  дія відняти(ціле, ціле) -> ціле;
}

Доступ до субʼєктів простору відбувається через знак :::

арифметика::додати(2, 2);

Обмежень на глибину вкладених просторів немає:

простір а {
  простір б {
    простір в {
      // ...
    }
  }
}

а::б::в::...

Простори можна доповнювати:

простір арифметика {
  дія додати(ціле, ціле) -> ціле;
  дія відняти(ціле, ціле) -> ціле;
}

простір арифметика {
  дія помножити(ціле, ціле) -> ціле;
  дія поділити(ціле, ціле) -> ціле;
}

арифметика::поділити(10, 2);