Here are
6 public repositories
matching this topic...
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Updated
Oct 24, 2021
HTML
A tutorial on how Agda infers things
Updated
Jul 10, 2025
HTML
Learn pure math with agda 🚀
Updated
Oct 18, 2025
HTML
Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la TeorÃa Homotópica de Tipos.
Updated
May 26, 2023
HTML
Formalizing the clone theory in type theory and Agda
Public webpage for the course AFP (Advanced Functional Programming)
Updated
Jan 19, 2026
HTML
Improve this page
Add a description, image, and links to the
agda
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
agda
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.