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 година