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 лет назад