Talk:Church numerals: Difference between revisions
m
→Created a stub for a Church Numerals: made 3 alternate implementations into lambda functions...
GordonBGood (talk | contribs) (→Created a stub for a Church Numerals: Should the stub be extended?) |
GordonBGood (talk | contribs) m (→Created a stub for a Church Numerals: made 3 alternate implementations into lambda functions...) |
||
Line 19:
succChurch :: Church a -> Church a
succChurch = (<*>) (.) -- add one recursion or \ ch
addChurch :: Church a -> Church a -> Church a
addChurch = (<*>) . fmap (.) -- or \ cha chb
multChurch :: Church a -> Church a -> Church a
multChurch = (.) -- or \ cha chbf
expChurch :: Church a -> Church a -> Church a
| |||