7 ms·
The technically correct term -- at least in reduction systems -- would be confluence not convergence.
by funcDropShadow 2y ago
The technically correct term -- at least in reduction systems -- would be confluence not convergence.
loading thread…