3 ms·
This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.
by acjohnson55 1y ago
This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.