Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd_patch
Branch-ok Tag-ek

Commit történet

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