Yes, Church numerals are something more specific. Church numerals are a model of Peano arithmetic, I think. So basically all Chuch is Peano but not all Peano is Church.

Isn’t this Peano numerals? Church numerals would be if a baker’s four doubled two was sixty-four.

(That being (λf. λx. f (f (f (f (f x))))) (λn. λf. λx. n f (n f x)) (λf. λx. f (f x)))

Les policiers de tous les pays sont des bœufs; pas en France ou les États-Unis seulement !

You can install Google Play Services as a sandboxed app on GrapheneOS. That’s not the issue. I believe the issue is that Google will use hardware attestation to check if the OS you’re running it on is Google-approved.

Both the Reddit app and the Reddit website are absolute travesties

“massive”

You may be interested in the German name for a type of rusk, “Zwieback”, which literally means “baked twice” (though with archaic, fossilised grammar)

it’s been renamed in January 2025. This is not a new change.

https://web.archive.org/web/20250119223414/https://www.office.com/