Posts by user36177 • 71 points

• 7

  votes

  1

  answer

  752

  views

  Q: How to make a sum in Lambda with recursive logic using successor and predecessor?

  I’m trying to assemble a Soma with recursive logic using just successor and predecessor in Lambda. But they’re not succeeding... In the case: suc = λx.x+1 ant = λx.x-1 I’ve done something like:…

  python lambda-expressions recursion logic

  asked 8 years, 7 months ago user36177 71