Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd_patch
Ramas Etiquetas
agda
/
examples
/
order
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. hace 10 años
..
DecidableOrder.agda 00a9116a9a File names are no longer stored in interface files. hace 15 años
MinMax.agda b33aef5162 give ambiguous error in patterns with multiple constructors targeting the same type hace 13 años