caryoscelus/agda

Autor	SHA1 Wiadomość	Data
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 lat temu
Andreas Abel	66077e6c7a Merged copattern patches with pattern synonym patch.	12 lat temu
Andreas Abel	6480546762 Parsing copatterns.	13 lat temu
Andreas Abel	a385f9e26b New option --copatterns.	13 lat temu