have people ever explored church encodings in a typed lambda calculus and if so where can i find resources on this
A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.
