Mian-Chowla sequence: Difference between revisions
→Functional Python: Replaced a more general `succ` function with an (Int -> Int)
(→Functional Python: Further simplification: Int in lieu of Tuple in until expression) |
(→Functional Python: Replaced a more general `succ` function with an (Int -> Int)) |
||
Line 1,252:
# succ ::
def succ(x):
'''The successor of a
return 1 + x
| |||