- Registers are 0 indexed
- Lines are indexed starting from 1
- Rope is self-expandable
In Cutland's URM we would write
J(1,2,3)but here we would write
J 1 2 3#include "urm/urm.h"
int main()
{
const TextBuffer code = read_file("examples/sum.urm");
Rope rope = {0};
rope_set(&rope, 0, 5);
rope_set(&rope, 1, 2);
urm_exec(&rope, &code);
assert(*rope_get(&rope, 0) == 7, "5 + 2 != 7");
}- "Computability: An Introduction to Recursive Function Theory" by Nigel Cutland