Welcome to dependent_types’s documentation!

Contents:

• Implementación de un nuevo tipo dependiente
• Chequeo de restricciones de un tipo dependiente
• Conformidad de tipos dependientes
• Goal

Indices and tables

• Index

• Module Index

• Search Page