caryoscelus/agda

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