Squeezing π from 122 Bits of Lambda Calculustext.marvinborner.de3 points·marvinborner··0 commentsOpen articleSaveView on HN