caryoscelus/agda

Аутор	SHA1 Порука	Датум
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	пре 10 година
Andreas Abel	66077e6c7a Merged copattern patches with pattern synonym patch.	пре 12 година
Andreas Abel	6480546762 Parsing copatterns.	пре 13 година
Andreas Abel	a385f9e26b New option --copatterns.	пре 13 година