lambda-definable functions

  1. REDIRECT Lambda calculus