programdemos/unit.xtl

A niladic function takes Unit, written @; ᵘa̲nswer 42 is a type error. Run it with ./demos/unit.xtl or "xetal run demos/unit.xtl"; it prints 42.

source

ᵘa̲nswer : Num a => Unit -> a

function · line 7

u:a_nswer @: 42, always; it takes only Unit.

ᵘa̲nswer ← { @ → 42 }
Used in: demos/unit.xtl:8