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 年之前