The Privilege of Buda united Hungary and Poland, similarly Buda notation unites Hungarian notation
(name variables after their type) with Polish notation (use prefixes of known arity to process things
without ambiguity).
Operators: the character '
is reserved for functions, and it accepts two types. Following Joel
Spolsky the first type is
the output and the second type is the input. So 'yx
is a segment of a variable name identifying
a function variable of type x -> y
.
Leading '
characters are inferred at the beginning of the variable name to make the name make sense.