2 ms·
> This sort of iteration is not very uncommon in esolangs. Or academic computability analysis. Raúl Rojas's paper on the Z3 comes to mind. A neat trick.
by couchand 3y ago
> This sort of iteration is not very uncommon in esolangs.
Or academic computability analysis. Raúl Rojas's paper on the Z3 comes to mind. A neat trick.