Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have made some trivial edits to the wording, hoping to make it flow more nicely.
By the way, this entry is linking (at least now that I adjusted the plural redirect) to recursive function. This is only natural, but – unfortunately – our entry recursive function is empty (and always has been)!
Much of the material needed there is at partial recursive function. We should either put redirects or (better) add a little bit of content to recursive function.
Only somebody who is able to go around the spam detector could add material to recursive function. Currently, even adding just one character to the recursive function page trips the spam detector.
Oh, I see.
Am just on my phone now, but I started to add characters to recursive function.
This should allow you to do small edits now, incrementally increasing.
If it still doesn’t work, you could edit in the Sandbox and I could then copy the material over.
added these textbook references:
Anne Sjerp Troelstra, Helmut Schwichtenberg, Basic Proof Theory , Cambridge University Press (2000, 2012) [doi:10.1017/CBO9781139168717]
Sara Negri, Jan von Plato, Structural Proof Theory, Cambridge University Press (2010) [doi:10.1017/CBO9780511527340, §1 pdf, §2 pdf]
1 to 5 of 5