builtup4/std/church_numerals/add.bu4
2023-03-25 13:02:10 +03:00

2 lines
62 B
Plaintext

{ (cA)(cB)(f)(x) //[x]</[f][cA]></[f][cB]> | c_add }