maonuOne can use the Escardó-Oliva functional to write an assembler; it handles the "backtracking." On X86 the encoding of a jump instruction can vary depending on the distance of the jump... which in turn depends on the size of the encoding! So you need more than just the tardis monad
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.