there's also an interpreter for RASP as described in the paper :) https://github.com/tech-srl/RASP https://github.com/tech-srl/RASP And Sasha's blog (your link

there's also an interpreter for RASP as described in the paper :) https://github.com/tech-srl/RASP https://github.com/tech-srl/RASP And Sasha's blog (your link) has a nice walkthrough of long addition with RASP!