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