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
  Ulf Norell 56b81cf68f [ #4458 ] removed (broken) agda2-measure-load-time 4 éve
  james 13ae12b417 modified benchmarch/emacs to work on OS X 12 éve
  Nils Anders Danielsson 8a8cecd62a Added agda2-measure-load-time and an Emacs mode benchmark script. 12 éve