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