Squeezing π from 122 Bits of Lambda Calculus

• Posted 9 hours ago by marvinborner
• 3 points