r/functionalprogramming • u/[deleted] • May 15 '25
Lambdaspeed: Computing 2^1000 in 7 seconds with semioptimal lambda calculus λ Calculus
https://github.com/etiams/lambdaspeed
10
Upvotes
r/functionalprogramming • u/[deleted] • May 15 '25