Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd_patch
Branche Tagy

História revízii

Autor SHA1 Správa Dátum
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 rokov pred
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. 13 rokov pred
  Andreas Abel 6480546762 Parsing copatterns. 13 rokov pred
  Andreas Abel a385f9e26b New option --copatterns. 13 rokov pred