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