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

تاریخچه Commit ها

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