Shape-complete
Jump to navigation
Jump to search
To make a language Shape-complete. It must have:
- A compiled Truth-machine/Shape-Machine
- Suport for stacks
- An end command.
And that's it
To make a language Shape-complete. It must have:
And that's it