-
Robert Ricci authored
local features/desires - turns out, we are using them in a manner similar to types, so can save ourselves from looking at a lot of bad solutions by being careful about going too far over on local features.
adc8d0d4
local features/desires - turns out, we are using them in a manner similar to types, so can save ourselves from looking at a lot of bad solutions by being careful about going too far over on local features.