Closed deusaquilus closed 6 months ago
During beta reduction, only the conflicts actually need to be reduced.
During beta reduction, only the conflicts actually need to be reduced.