Librarium
Settings

factorial in lambda calculus (in terms of primitive recursion)

Evgeniy Malov