υλ

υλ(pronounced weird lambda) is a esolang created by User:Yayimhere based on lambda calculus. its very weird

commands and semantics

fundamentally υλ is just lambda calculus when it comes to evaluation but its still very different. and no a normal lambda function is not valid

first of all a number n in base 2(binary) is turned into the corresponding church numeral.

x => y inside a function if the expression of the function becomes x it will set it to y. the actual expression of the function(!x.y) and this is separated by ;(with the x => y coming at the end of the full expression)

y .x apply function y to input x. to add more inputs it would be y .x.z.w ect ect, with x being the first input, and w being the last order wise.

[...] functions like normal brackets

!x.y create a lambda function with body y and with input x. this expression cannot by itself be applied to anything, only be fed into other functions.

[x] apply the >>= from haskell onto function x. se below section for how:

>>= kinda

suppose we are working with a Maybe-like monad in Lambda Calculus, where computations can either return a value (wrapped in a Just structure) or fail (Nothing). these are the structures defined:

Just x  = λf. f x
Nothing = no expression which when applied returns nothing

The bind (>>=) operation can be defined like this:

bind = λm.λf.m f #m must be a monadic value

so thats how it works. yea.