caryoscelus/agda

Автор	SHA1 Съобщение	Дата
ulfn	2d44fa877a syntax change: using/hiding lists are separated by ;	преди 18 години
ulfn	d39f5a151d inductive families in libraries	преди 18 години
ulfn	671702ec53 more work on the library	преди 18 години