caryoscelus/agda

Автор	SHA1 Опис	Дата
Nils Anders Danielsson	e205a43e87 Fixed #1209.	6 роки тому
Nils Anders Danielsson	fe37a8290b [ Operator parser ] Fixed a long-standing operator fixity bug.	10 роки тому
Nils Anders Danielsson	c2b601d8cc Removed the codata keyword.	14 роки тому