GitHub repository: sebamoralesasd/progcat
Primary language: Agda
Description: Material para el curso de Programación con Categorías de la LCC - FCEIA - UNR