Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. před 10 roky
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. před 12 roky
  Andreas Abel 6480546762 Parsing copatterns. před 13 roky
  Andreas Abel a385f9e26b New option --copatterns. před 13 roky