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
Árbol:
9c190b6ebc
Ramas
Etiquetas
js_amd
js_amd_patch
working
agda
/
examples
/
AIM4
Ulf Norell
3e609b7bb8
[ fix
#418
] no longer see through abstract in private+abstract type signatures
hace 4 años
..
bag
3e609b7bb8
[ fix
#418
] no longer see through abstract in private+abstract type signatures
hace 4 años
Ulf Norell
3e609b7bb8
[ fix #418 ] no longer see through abstract in private+abstract type signatures