3 ms·
Is the notation used here standard in type systems research? I'm pretty much lost before halfway in at the _with_ concept.
by equalunique 9y ago
Is the notation used here standard in type systems research? I'm pretty much lost before halfway in at the _with_ concept.