USTJ vol2 iss1 art07 - Conk: The Permutation Group of Nocks; Ax: An Algebraic Executable Ur-Machine

https://urbitsystems.tech/article/v02-i01/conk-the-permutation-group-of-nocks-ax-an-algebraic-executable-ur-machine