(Funny thing about coaching people through deriving +: everyone I’ve coached accidentally derives × first! Weird how it’s “simpler”…)
Conversation
Replying to
It's the difference between church and traditional numerals.
1
Church numerals × is just an apply, addition is this complex semi-linear thing
1
1
4
Show replies