coq - ejercicios - ¿Por qué los lenguajes más nuevos que se escribieron de manera dependiente no ado