Komit Sejarah

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