υλ

From Esolang
Jump to navigation Jump to search

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