Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi

Revīziju vēsture

Autors SHA1 Ziņojums Datums
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 gadi atpakaļ
  Andreas Abel 66077e6c7a Merged copattern patches with pattern synonym patch. 13 gadi atpakaļ
  Andreas Abel 6480546762 Parsing copatterns. 13 gadi atpakaļ
  Andreas Abel a385f9e26b New option --copatterns. 13 gadi atpakaļ