private mathematical salon
haskeller.net
A quiet field for elegant transformations, engraved in ink, vellum, and imperial violet.
λ-thread / chamber 01
the type veil
Annotations on tracing paper.
Fragments of type language float beside the curve, not as code to read, but as pressure marks left by composition.
compose
where
nested parentheses / chamber 02
the fold room
Recursion without machinery.
A curve passes behind the statement, returns in front of it, and leaves a polished glint where thought crosses itself.
fold · fold · fold
silk cord over text / chamber 03
the composed signature
proof, folded into form.
haskeller.net · an inscription for pure composition
completed mark / chamber 04