Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit Verlauf

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