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 роки тому