Squeezing π from 122 Bits of Lambda Calculus

(text.marvinborner.de)

3 points | by marvinborner 8 hours ago ago