Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd_patch
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. 12 vuotta sitten
  Andreas Abel 6480546762 Parsing copatterns. 13 vuotta sitten
  Andreas Abel a385f9e26b New option --copatterns. 13 vuotta sitten