Post B6nf5zHMjyb8w7ptGi by vii@dsmc.space
 (DIR) More posts by vii@dsmc.space
 (DIR) Post #B6nf5zHMjyb8w7ptGi by vii@dsmc.space
       2 likes, 0 repeats
       
       also I can implement Church numerals. that’s fucking hilarious.sev, what are Church numerals?In the lambda calculus there are no numbers because even those were too impure for Church, so in order to encode a number, you write a function which counts the number of function applications were applied. so f = \x.n, 0 is 0, f.0 is 1, f.f.0 is 2, and so on.and where are these useful?Nowhere. They’re applied maths porn.