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 سال پیش