2 ms·
That's shifting the goal post. But sure, jesuslop's pointer to the Curry-Howard-correspondance is closer to the meat.
by posterboy 10y ago
That's shifting the goal post. But sure, jesuslop's pointer to the Curry-Howard-correspondance is closer to the meat.