υλ

υλ(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

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 and this is separated by ;

!x.y create a lambda function with body y and with input x with only 2 applications allowed in the body

[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.