lambda-calculus.js
function fromNumber(num){
    return Lam(Lam((function go(n){return n===0?Var(0):App(Var(1),go(n-1))})(num)));
  }
function fromNumber(num){
    return Lam(Lam((function go(n){return n===0?Var(0):App(Var(1),go(n-1))})(num)));
  }
function fromNumber ( num ) { return Lam ( Lam ( ( function go ( n ) { return n === 0 ? Var ( 0 ) : App ( Var ( 1 ) , go ( n - 1 ) ) } ) ( num ) ) ) ; }
Number -> Term Converts a JS number to a church-encoded nat.
Number - > Term Converts a JS number to a church - encoded nat .