Please enable JavaScript in your browser!
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
js_amd
js_amd_patch
working
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