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.	13 лет назад
Andreas Abel	6480546762 Parsing copatterns.	13 лет назад
Andreas Abel	a385f9e26b New option --copatterns.	13 лет назад