caryoscelus/agda

Автор	SHA1 Сообщение	Дата
Nils Anders Danielsson	e205a43e87 Fixed #1209.	6 лет назад
Nils Anders Danielsson	fe37a8290b [ Operator parser ] Fixed a long-standing operator fixity bug.	9 лет назад
Nils Anders Danielsson	c2b601d8cc Removed the codata keyword.	14 лет назад