4 ms·

Good suggestion. Also consider its programming language counterpart, Scheme.

• miguelrochefort 11y ago
  Scheme is like untyped calculus. What about typed calculus?