caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	%!s(int64=10) %!d(string=hai) anos
Andreas Abel	66077e6c7a Merged copattern patches with pattern synonym patch.	%!s(int64=12) %!d(string=hai) anos
Andreas Abel	6480546762 Parsing copatterns.	%!s(int64=13) %!d(string=hai) anos
Andreas Abel	a385f9e26b New option --copatterns.	%!s(int64=13) %!d(string=hai) anos