Churchencoding

Church encoding

Representation of data of various types in lambda calculus

From Wikipedia, licensed CC BY-SA 4.0.

Logs

★ 0.5 average from 1 person · 1 entry

floofbunneh11/8/2026

cursed math, will never be able to unknow its existence, will be forever haunted by this knowledge

Not in any lists yet