Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Cabang: js_amd_patch
Ranting Tag

Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  ulfn 2d44fa877a syntax change: using/hiding lists are separated by ; 18 tahun lalu
  ulfn d39f5a151d inductive families in libraries 18 tahun lalu
  ulfn 671702ec53 more work on the library 18 tahun lalu