Ana Sayfa Keşfet Yardım
Giriş Yap
caryoscelus
/
agda
İzle 1
Yıldızla 0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki
Dal: js_amd_patch
Dallar Biçim İmleri

Geçmişin Kaydedilmesi

Yazar SHA1 Mesaj Tarih
  ulfn 76730c04f7 fixed broken benchmark examples 10 yıl önce
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 yıl önce
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 yıl önce