Universal Register Machine #2
Description
This package should include a model of a universal register machine for completeness' sake. To achieve this, we may require more efficient encoding of register machine programs and/or a better way to deal with register machine encodings (i.e. something with a bigger capacity than Int!)