dependent_types
latest
Contents:
Implementación de un nuevo tipo dependiente
Chequeo de restricciones de un tipo dependiente
Conformidad de tipos dependientes
Goal
dependent_types
Index
Edit on GitHub
Index