صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd
شاخه‌ها تگ‌ها

تاریخچه Commit ها

نویسنده 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 سال پیش