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 年之前