0NETT1
building automata
0 ⊒ F(0) ⊒ F²(0) ⊒ ⋯
gfp F = 1α ⊓ 1β ⊓ 1γ
ἄνδρα μοι ἔννεπε, Μοῦσα, πολύτροπον
this song of the various-minded man
HOMER · ODYSSEY I.1