Por que a função de introdução ao rigor é chamada seq?
Entendo a função seq e por que é necessário introduzir rigor na eficiência. O que eu não entendo é: por que esse primitivo é chamado seq(e não tem a ver com