Recursion theory week | lit.salon