基本構文

Donut のプログラムは 宣言 の列です。各宣言は名前、型、値を持ちます。

name: type
name = value
name: type = value
name: type := value

コメントは // で始まる行コメントです。

// これはコメントです
u: *

インデントはスペースのみ（タブ不可）。

同時宣言

スペースで区切って複数の名前を同時に宣言できます。すべて同じ型になります。

C D: *       // C: * と D: * を同時に宣言
a b: C → D  // a: C → D と b: C → D を同時に宣言