Open balqui opened 5 months ago
Closed by mistake, sorry.
An old local text file phrased it as: "set up some way of renaming the functions a function depends on (this may allow for setting up schemes, then to optimize those schemes in the Python translation)". This is actually one step beyond mere renaming, something like function arguments. As of today, though, maybe just having the primrec scheme suffices.
as yet another form of construction (particular case of definable construction forms).