| Line 1: |
Line 1: |
| − | | + | ==WIP Feb 2024== |
| | <pre> | | <pre> |
| | | | |
| − | a1=LAMBDACALCULUS(
| |
| − | ()=>B(SIN,COS)
| |
| − | )
| |
| − | a1(23)
| |
| − |
| |
| − | b(sin)(cos) etc?
| |
| − |
| |
| − | // this works
| |
| − | a1=LAMBDACALCULUS(
| |
| − | function ()
| |
| − | {
| |
| − | return(B(SIN)(COS))
| |
| − | }
| |
| − | );
| |
| − | a1(45)
| |
| − |
| |
| − |
| |
| − | a1=LAMBDACALCULUS(
| |
| − | ()=>B(SIN)(COS)
| |
| − | );
| |
| − | a1(45)
| |
| − |
| |
| − | // easier notations
| |
| − | λ=LAMBDACALCULUS;
| |
| − | a1=λ(()=>B(SIN)(COS))
| |
| − | a1(45)
| |
| − |
| |
| − |
| |
| − | // easier notations
| |
| − | λ=LAMBDACALCULUS;
| |
| − | a1=λ(()=>BLUEBIRD(SIN)(COS))
| |
| − | a1(45)
| |
| − |
| |
| − | // easier notations
| |
| − | λ=LAMBDACALCULUS;
| |
| − | a1=λ(function(){return(BLUEBIRD(SIN)(COS))})
| |
| − | a1(45)
| |
| − |
| |
| − | // easier notations
| |
| − | λC=LAMBDACALCULUS;
| |
| − | a1=λC(()=>BLUEBIRD(SIN)(COS));
| |
| − | a1(45)
| |
| | | | |
| | | | |