caryoscelus/agda

作者	SHA1 备注	提交日期
ulfn	1d8e159e87 more notes on family pattern matching	18 年之前
ulfn	c83edbc584 note on better pattern matching for families	18 年之前
ulfn	1fdb7861ab introduced MonadTCM and made most operations polymorphic in the monad	18 年之前
ulfn	7b4cbca3cc allow definitiono of inductive families (pattern matching will still fail)	18 年之前
ulfn	fcb5a197fd some notes	18 年之前