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

Historial de Commits

Autor SHA1 Mensaje Fecha
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. hace 10 años
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. hace 12 años
  Andreas Abel 6480546762 Parsing copatterns. hace 13 años
  Andreas Abel a385f9e26b New option --copatterns. hace 13 años