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