2 ms·> because bf is np complete, as is simply typed lc. Do you mean turing complete?by anchpop 7y ago> because bf is np complete, as is simply typed lc. Do you mean turing complete?