Timeline for Prove a function is primitive recursive
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 3, 2010 at 16:37 | vote | accept | Peter Marsh | ||
| Mar 2, 2010 at 23:34 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
adapted to take into account Grigory's answer
|
| Mar 2, 2010 at 22:16 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
grammar, added explanation of why such a program computes a primitive recursive function
|
| Mar 2, 2010 at 22:07 | history | answered | Andrej Bauer | CC BY-SA 2.5 |