[ prog / sol / mona ]

prog


{lambda talk} a dialect of the λ-calculus

13 2021-03-30 11:13

Because {} are rarely used in standard texts, contrary to () and [], and because texts in lambdatalk are written without any escaping characters like " or '. For instance you can write 1+2 is equal to {+ 1 2} to get 1+2 is equal to 3, something you can't do in other langauges, as far as I know.

alain marty

19


VIP:

do not edit these