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
  • Search

© Copyright 2023, Leandro Rodriguez. Revision a1ed5318.

Built with Sphinx using a theme provided by Read the Docs.