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 76730c04f7 fixed broken benchmark examples 10 tahun lalu
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 tahun lalu
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 tahun lalu