Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd_patch
Branch-ok Tag-ek

Commit történet

Szerző SHA1 Üzenet Dátum
  ulfn 2d44fa877a syntax change: using/hiding lists are separated by ; 18 éve
  ulfn d39f5a151d inductive families in libraries 18 éve
  ulfn 671702ec53 more work on the library 18 éve