Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 anni fa
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. 12 anni fa
  Andreas Abel 6480546762 Parsing copatterns. 13 anni fa
  Andreas Abel a385f9e26b New option --copatterns. 13 anni fa