draft v1

The formula: \(\mathtt{(\lambda\ (a\ b)\ (+\ a\ b))}\)

1
2
3
(define add (lambda (a b) (+ a b)))
(display (add 1 2))
(newline)
1
2
3
4
5
6
7
8
9
#include <iostream>

int main(void) {
  auto add = [](int a, int b) {
    return a + b;
  };
  std::cout << add(1, 2) << "\n";
  return 0;
}