caryoscelus/agda

Yazar	SHA1 Mesaj	Tarih
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 yıl önce
Andreas Abel	66077e6c7a Merged copattern patches with pattern synonym patch.	12 yıl önce
Andreas Abel	6480546762 Parsing copatterns.	13 yıl önce
Andreas Abel	a385f9e26b New option --copatterns.	13 yıl önce