|
|
|
|
|
|
by jcranberry
2989 days ago
|
|
|
Similar notation is already used for mappings in general albeit from left to right with the bar arrow, and obscures one of the necessary characteristics of recursive functions, which is a mapping to the natural numbers. Edit: Misunderstood, thought you were talking about math, not programming languages. |
|
|