agda/agda-stdlib
@agdaLa biblioteca estándar de Agda
Estrellas
675
Bifurcaciones
274
Lenguaje
Agda
Licencia
NOASSERTION
Último push
hace 1 semana
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.