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
agda
/
benchmark
/
monad
Ulf Norell d573394115 [ test ] update benchmarks for new std-lib commit 6 éve
..
IndexedMap.agda aa93d46c40 Updated benchmark code (the standard library has been changed). 13 éve
Monad.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 éve
MonadPostulates.agda d573394115 [ test ] update benchmarks for new std-lib commit 6 éve