Pinned Repositories
compiladores2020
Código para la materia Compiladores de LCC, FCEIA, UNR.
compiladores2021
Código inicial para la materia Compiladores 2021 de LCC - FCEIA - UNR
cardano-haskell-packages
Metadata for Cardano's Haskell package repository
plutus
The Plutus language implementation and tools
agda-workshop-2023
cardano-haskell-packages
Metadata for Cardano's Haskell package repository
CursoRio2020
Material para el curso de la escuela de verano de la Universidad de Rio Cuarto
progcat
Material para el curso de Programación con Categorías de la LCC - FCEIA - UNR
USP2023
Files for the USP 2023 DTP course
Derivatives
Derivative of quotient containers
mjaskelioff's Repositories
mjaskelioff/progcat
Material para el curso de Programación con Categorías de la LCC - FCEIA - UNR
mjaskelioff/CursoRio2020
Material para el curso de la escuela de verano de la Universidad de Rio Cuarto
mjaskelioff/agda-workshop-2023
mjaskelioff/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
mjaskelioff/USP2023
Files for the USP 2023 DTP course