Get the latest tech news
Many Factorials in Lambda Calculus
2025-10-08 I’m on a 16h flight to the ICFP SRC in Singapore right now1, so here are many ways to calculate a factorial in bruijn, a syntactic sugar for the untyped lambda calculus using de Bruijn indices. It may be fun to view some of the programs as puzzles.
None
Or read this on Hacker News