caryoscelus/agda

Автор	SHA1 Съобщение	Дата
ulfn	fcb18126a2 summer school lecture	преди 17 години
Nils Anders Danielsson	5b39e6e99e Added notes from a discussion about how a class system might be defined.	преди 17 години
ulfn	fcb5a197fd some notes	преди 18 години
ulfn	e553c4b0c7 notes on classes	преди 18 години