Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd_patch
Grenar Taggar

Commit History

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